datatypes/constructors.ma logic/equality.ma
datatypes/compare.ma
datatypes/bool.ma higher_order_defs/functions.ma logic/equality.ma
+datatypes/subsets.ma logic/cprop_connectives.ma logic/equality.ma
algebra/groups.ma algebra/monoids.ma datatypes/bool.ma logic/connectives.ma nat/compare.ma nat/le_arith.ma
algebra/finite_groups.ma algebra/groups.ma nat/relevant_equations.ma
algebra/semigroups.ma higher_order_defs/functions.ma
demo/power_derivative.ma nat/compare.ma nat/nat.ma nat/orders.ma nat/plus.ma
demo/propositional_sequent_calculus.ma datatypes/constructors.ma list/sort.ma nat/compare.ma nat/plus.ma
demo/realisability.ma datatypes/constructors.ma logic/connectives.ma
-demo/formal_topology.ma logic/equality.ma
+demo/formal_topology.ma datatypes/subsets.ma
+demo/natural_deduction.ma
list/sort.ma datatypes/bool.ma datatypes/constructors.ma list/in.ma
list/list.ma datatypes/bool.ma higher_order_defs/functions.ma logic/equality.ma nat/nat.ma nat/orders.ma nat/plus.ma
list/in.ma datatypes/bool.ma datatypes/constructors.ma list/list.ma
logic/connectives.ma
logic/coimplication.ma logic/connectives.ma
logic/connectives2.ma higher_order_defs/relations.ma
+logic/cprop_connectives.ma datatypes/constructors.ma logic/equality.ma
nat/div_and_mod.ma datatypes/constructors.ma nat/minus.ma
nat/count.ma nat/permutation.ma nat/relevant_equations.ma nat/sigma_and_pi.ma
nat/totient1.ma nat/compare.ma nat/gcd_properties1.ma nat/iteration2.ma nat/totient.ma