Make

-R src/zorn ZornsLemma -R src/top Topology

src/zorn/CSB.v
src/zorn/Cardinals.v
src/zorn/Classical_Wf.v
src/zorn/CountableTypes.v
src/zorn/DecidableDec.v
src/zorn/DependentTypeChoice.v
src/zorn/EnsemblesImplicit.v
src/zorn/EnsemblesSpec.v
src/zorn/EnsemblesUtf8.v
src/zorn/Families.v
src/zorn/FiniteIntersections.v
src/zorn/FiniteTypes.v
src/zorn/FunctionProperties.v
src/zorn/ImageImplicit.v
src/zorn/IndexedFamilies.v
src/zorn/InfiniteTypes.v
src/zorn/InverseImage.v
src/zorn/Ordinals.v
src/zorn/Proj1SigInjective.v
src/zorn/Quotients.v
src/zorn/Relation_Definitions_Implicit.v
src/zorn/WellOrders.v
src/zorn/ZornsLemma.v
src/top/TopologicalSpaces.v
src/top/Compactness.v
src/top/Completeness.v
src/top/Completion.v
src/top/Connectedness.v
src/top/Continuity.v
src/top/ContinuousFactorization.v
src/top/CountabilityAxioms.v
src/top/DirectedSets.v
src/top/FilterLimits.v
src/top/Filters.v
src/top/FiltersAndNets.v
src/top/Homeomorphisms.v
src/top/InteriorsClosures.v
src/top/MetricSpaces.v
src/top/NeighborhoodBases.v
src/top/Neighborhoods.v
src/top/Nets.v
src/top/OpenBases.v
src/top/OrderTopology.v
src/top/ProductTopology.v
src/top/RTopology.v
src/top/RFuncContinuity.v
src/top/RationalsInReals.v
src/top/SeparatednessAxioms.v
src/top/StrongTopology.v
src/top/Subbases.v
src/top/SubspaceTopology.v
src/top/SupInf.v
src/top/UrysohnsLemma.v
src/top/TietzeExtension.v
src/top/UniformTopology.v
src/top/WeakTopology.v