Recent changes

Commit by Adam Bliss <abliss@gmail.com>, 2015-03-19 21:38:09:
general/Basic_arithmetic.gh +/-
general/First_steps_in_set_theory.gh +/-
general/Triangle_congruence.gh +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-10-04 08:02:36:
peano_new/arithmetic/common/calculations/decimal.gh +/-
peano_new/arithmetic/common/division.gh +/-
peano_new/arithmetic/common/division.ghi +/-
peano_new/arithmetic/common/negative.gh +/-
peano_new/arithmetic/common/negative.ghi +/-
peano_new/arithmetic/reals/common.ghi +/-
wiki/peano/arithmetic/add.ghm +/-
wiki/peano/arithmetic/minus.ghm +/-
wiki/peano/arithmetic/multiply.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-08-05 04:49:05:
wiki/FrontPage.ghm +/-
wiki/FrontPageLogged.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-05-05 06:02:09:
peano/peano_thms.gh +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-05-02 22:32:56:
peano/peano_thms.gh +/-
Commit by Jim Kingdon <jkingdon@localhost>, 2014-03-24 01:00:18:
wiki/Git.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-20 08:05:18:
wiki/peano/arithmetic.ghm +/-
wiki/peano/arithmetic/fibonacci.ghm +/-
wiki/peano/arithmetic/triangle.ghm +/-
wiki/peano/number-theory/prime.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-18 07:49:27:
wiki/tutorial/overview.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-18 07:37:19:
general/Basic_arithmetic.gh +/-
general/Basic_arithmetic_implies_Peano_axioms.gh +/-
general/Basic_operations_of_Zermelo-Fraenkel_set_theory.gh +/-
general/Betweenness_of_points.gh +/-
general/Collinearity.gh +/-
general/Connectivity_for_betweenness.gh +/-
general/Convenience_theorems_of_propositional_logic.gh +/-
general/First-order_linear_order_defined_via_nonstrict_inequality.gh +/-
general/First-order_linear_order_defined_via_strict_inequality.gh +/-
general/First-order_logic.gh +/-
general/First-order_logic_with_quantifiability.gh +/-
general/First_steps_in_set_theory.gh +/-
general/From_intuitionistic_to_classical_propositional_logic.gh +/-
general/Intuitionistic_propositional_logic.gh +/-
general/Line_segment_congruence.gh +/-
general/Line_segment_inequality.gh +/-
general/Midpoint.gh +/-
general/Orthogonality.gh +/-
general/Out_lines.gh +/-
general/Relations.gh +/-
general/Relations_2.gh +/-
general/Symmetric_point.gh +/-
general/Triangle_congruence.gh +/-
general/from_prop_to_propositional.gh +/-
general/from_propositional_to_prop.gh +/-
peano/arithmetic.gh +/-
peano/integers.gh +/-
peano/peano_thms.gh +/-
peano/prop.gh +/-
peano/rationals.gh +/-
peano_new/arithmetic/common/calculations/decimal.gh +/-
peano_new/arithmetic/common/calculations/integers.gh +/-
peano_new/arithmetic/common/calculations/naturals.gh +/-
peano_new/arithmetic/common/division.gh +/-
peano_new/arithmetic/common/ifn.gh +/-
peano_new/arithmetic/common/inequality.gh +/-
peano_new/arithmetic/common/mulcan.gh +/-
peano_new/arithmetic/common/negative.gh +/-
peano_new/arithmetic/complex/add_multiply_complex.gh +/-
peano_new/arithmetic/complex/add_multiply_min.gh +/-
peano_new/arithmetic/complex/division_min.gh +/-
peano_new/arithmetic/complex/equality_min.gh +/-
peano_new/arithmetic/complex/negative_min.gh +/-
peano_new/arithmetic/integers/add_multiply_min.gh +/-
peano_new/arithmetic/integers/equality_min.gh +/-
peano_new/arithmetic/integers/import_naturals.gh +/-
peano_new/arithmetic/integers/inequality_min.gh +/-
peano_new/arithmetic/integers/mulcan_min.gh +/-
peano_new/arithmetic/integers/negative_min.gh +/-
peano_new/arithmetic/naturals/add_multiply_min.gh +/-
peano_new/arithmetic/naturals/halfminus.gh +/-
peano_new/arithmetic/naturals/inequality_min.gh +/-
peano_new/arithmetic/naturals/inequality_nat.gh +/-
peano_new/arithmetic/naturals/min_mod_div.gh +/-
peano_new/arithmetic/naturals/mulcan_min.gh +/-
peano_new/arithmetic/naturals/natural_specific.gh +/-
peano_new/arithmetic/naturals/recursion.gh +/-
peano_new/arithmetic/naturals/recursion_min.gh +/-
peano_new/arithmetic/rationals/NaN_construction/division_NaN.gh +/-
peano_new/arithmetic/rationals/NaN_construction/equality_min.gh +/-
peano_new/arithmetic/rationals/division_min.gh +/-
peano_new/arithmetic/rationals/equality_min.gh +/-
peano_new/function.gh +/-
peano_new/prop.gh +/-
peano_new/set.gh +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-18 05:57:10:
peano_new/arithmetic/common/add_multiply.gh +/-
peano_new/arithmetic/common/calculations/decimal.gh +
peano_new/arithmetic/common/calculations/naturals.gh +/-
peano_new/arithmetic/common/calculations/naturals.ghi +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-17 05:54:22:
peano/arithmetic.gh +/-
peano/peano_thms.gh +/-
peano/peano_thms.ghi +/-
peano/rationals.gh +/-
peano_new/set.gh +/-
peano_new/set.ghi +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-17 01:29:04:
peano/arithmetic.gh +/-
peano/integers.ghi +/-
peano/peano_thms.gh +/-
peano/peano_thms.ghi +/-
peano/prop.ghi +/-
peano_new/arithmetic/common/add_multiply.ghi +/-
peano_new/arithmetic/common/add_multiply_min.ghi +/-
peano_new/arithmetic/common/calculations/naturals.ghi +/-
peano_new/arithmetic/common/division.ghi +/-
peano_new/arithmetic/common/division_min.ghi +/-
peano_new/arithmetic/common/exponent.ghi +/-
peano_new/arithmetic/common/ifn.ghi +/-
peano_new/arithmetic/common/inequality.ghi +/-
peano_new/arithmetic/common/inequality_min.ghi +/-
peano_new/arithmetic/common/mulcan.ghi +/-
peano_new/arithmetic/common/mulcan_min.ghi +/-
peano_new/arithmetic/common/negative.ghi +/-
peano_new/arithmetic/common/negative_min.ghi +/-
peano_new/arithmetic/complex/add_multiply_com.ghi +/-
peano_new/arithmetic/complex/add_multiply_complex_min.ghi +/-
peano_new/arithmetic/complex/equality_com.ghi +/-
peano_new/arithmetic/integers/add_multiply_int.ghi +/-
peano_new/arithmetic/integers/equality_int.ghi +/-
peano_new/arithmetic/integers/inequality_int.ghi +/-
peano_new/arithmetic/naturals/add_multiply_nat.ghi +/-
peano_new/arithmetic/naturals/common.ghi +/-
peano_new/arithmetic/naturals/halfminus.ghi +/-
peano_new/arithmetic/naturals/import.ghi +/-
peano_new/arithmetic/naturals/inequality_nat.ghi +/-
peano_new/arithmetic/naturals/inequality_nat_min.ghi +/-
peano_new/arithmetic/naturals/min_mod_div.ghi +/-
peano_new/arithmetic/naturals/natural_specific.ghi +/-
peano_new/arithmetic/naturals/recursion_min.ghi +/-
peano_new/arithmetic/rationals/NaN_construction/division_NaN.ghi +/-
peano_new/arithmetic/reals/common.ghi +/-
peano_new/arithmetic/reals/sqrt.gh +/-
peano_new/arithmetic/reals/sqrt_min.ghi +/-
peano_new/arithmetic/reals/supremum-def.ghi +/-
peano_new/arithmetic/reals/supremum.ghi +/-
peano_new/function.ghi +/-
peano_new/predicate/all.ghi +/-
peano_new/predicate/equality.ghi +/-
peano_new/predicate/equality_min.ghi +/-
peano_new/predicate/predicate.ghi +/-
peano_new/predicate/predicate_min.ghi +/-
peano_new/prop.ghi +/-
peano_new/set.ghi +/-
wiki/peano/arithmetic/add.ghm +/-
wiki/peano/arithmetic/equality.ghm +/-
wiki/peano/arithmetic/less-than-equal.ghm +/-
wiki/peano/arithmetic/multiply.ghm +/-
wiki/peano/arithmetic/negative-sign.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-15 23:15:47:
wiki/tutorial/evaluate.ghm +/-
wiki/tutorial/finding.ghm +/-
wiki/tutorial/formulas.ghm +/-
wiki/tutorial/notation.ghm +/-
wiki/tutorial/overview.ghm +/-
wiki/tutorial/remove.ghm +/-
wiki/tutorial/stack.ghm +/-
wiki/tutorial/ui.ghm +/-
wiki/tutorial/uncom.ghm +/-
wiki/tutorial/uncom2.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-14 08:16:45:
peano/arithmetic.gh +/-
peano/integers.gh +/-
peano/peano_thms.gh +/-
peano/prop.gh +/-
peano/rationals.gh +/-
peano_new/arithmetic/common/add_multiply.gh +/-
peano_new/arithmetic/common/calculations/integers.gh +/-
peano_new/arithmetic/common/calculations/naturals.gh +/-
peano_new/arithmetic/common/division.gh +/-
peano_new/arithmetic/common/exponent.gh +/-
peano_new/arithmetic/common/inequality.gh +/-
peano_new/arithmetic/complex/add_multiply_complex.gh +
peano_new/arithmetic/complex/add_multiply_complex_min.ghi +
peano_new/arithmetic/complex/add_multiply_min.gh +/-
peano_new/arithmetic/integers/add_multiply_min.gh +/-
peano_new/arithmetic/integers/equality_min.gh +/-
peano_new/arithmetic/integers/import_naturals.gh +/-
peano_new/arithmetic/integers/inequality_min.gh +/-
peano_new/arithmetic/integers/mulcan_min.gh +/-
peano_new/arithmetic/integers/negative_min.gh +/-
peano_new/arithmetic/naturals/add_multiply_min.gh +/-
peano_new/arithmetic/naturals/halfminus.gh +/-
peano_new/arithmetic/naturals/inequality_min.gh +/-
peano_new/arithmetic/naturals/inequality_nat.gh +/-
peano_new/arithmetic/naturals/min_mod_div.gh +/-
peano_new/arithmetic/naturals/mulcan_min.gh +/-
peano_new/arithmetic/naturals/natural_specific.gh +/-
peano_new/arithmetic/naturals/recursion.gh +/-
peano_new/arithmetic/naturals/recursion_min.gh +/-
peano_new/arithmetic/rationals/NaN_construction/division_NaN.gh +/-
peano_new/arithmetic/rationals/NaN_construction/equality_min.gh +/-
peano_new/arithmetic/rationals/division_min.gh +/-
peano_new/arithmetic/rationals/equality_min.gh +/-
peano_new/arithmetic/reals/sqrt_min.gh +/-
peano_new/arithmetic/reals/sqrt_min.ghi +/-
peano_new/arithmetic/reals/supremum-ax.ghi +/-
peano_new/arithmetic/reals/supremum-def.gh +/-
peano_new/arithmetic/reals/supremum.gh +/-
peano_new/predicate/equality.gh +/-
wiki/FrontPage.ghm +/-
wiki/FrontPageLogged.ghm +/-
wiki/Syntax.ghm +/-
wiki/peano/analysis.ghm +
wiki/peano/analysis/complex-numbers.ghm +
wiki/peano/analysis/sqrt.ghm +
wiki/peano/analysis/supremum.ghm +
wiki/peano/analysis/upper-bound.ghm +
wiki/peano/arithmetic.ghm +/-
wiki/peano/arithmetic/abs.ghm +
wiki/peano/arithmetic/add.ghm +/-
wiki/peano/arithmetic/divide.ghm +/-
wiki/peano/arithmetic/equality.ghm +/-
wiki/peano/arithmetic/exponent.ghm +/-
wiki/peano/arithmetic/factorial.ghm +/-
wiki/peano/arithmetic/half-minus.ghm +/-
wiki/peano/arithmetic/ifn.ghm +/-
wiki/peano/arithmetic/integers.ghm +/-
wiki/peano/arithmetic/less-than-equal.ghm +/-
wiki/peano/arithmetic/less-than.ghm +/-
wiki/peano/arithmetic/minus.ghm +/-
wiki/peano/arithmetic/mod.ghm +/-
wiki/peano/arithmetic/modcon.ghm +/-
wiki/peano/arithmetic/multiply.ghm +/-
wiki/peano/arithmetic/negative-sign.ghm +/-
wiki/peano/arithmetic/product.ghm +/-
wiki/peano/arithmetic/rationals.ghm +/-
wiki/peano/arithmetic/rationals/bottom.ghm +/-
wiki/peano/arithmetic/rationals/fraction.ghm +/-
wiki/peano/arithmetic/rationals/top.ghm +/-
wiki/peano/arithmetic/successor.ghm +/-
wiki/peano/arithmetic/sum.ghm +/-
wiki/peano/function.ghm +/-
wiki/peano/function/apply.ghm +/-
wiki/peano/function/fun.ghm +/-
wiki/peano/function/lambda.ghm +/-
wiki/peano/function/recurse.ghm +/-
wiki/peano/logic/and.ghm +/-
wiki/peano/logic/if.ghm +/-
wiki/peano/logic/iff.ghm +/-
wiki/peano/logic/not.ghm +/-
wiki/peano/logic/or.ghm +/-
wiki/peano/logic/wff.ghm +/-
wiki/peano/number-theory/divides.ghm +/-
wiki/peano/number-theory/even.ghm +/-
wiki/peano/overview.ghm +/-
wiki/peano/predicate/all.ghm +/-
wiki/peano/predicate/exists.ghm +/-
wiki/peano/predicate/most-one.ghm +/-
wiki/peano/predicate/substitution.ghm +/-
wiki/peano/predicate/unique.ghm +/-
wiki/peano/set/abstraction.ghm +/-
wiki/peano/set/element-of.ghm +/-
wiki/peano/set/empty-set.ghm +/-
wiki/peano/set/equality.ghm +/-
wiki/peano/set/intersection.ghm +/-
wiki/peano/set/iota.ghm +/-
wiki/peano/set/minimum.ghm +/-
wiki/peano/set/proper-subset.ghm +/-
wiki/peano/set/singleton.ghm +/-
wiki/peano/set/subset.ghm +/-
wiki/peano/set/union.ghm +/-
wiki/peano/tuple/add.ghm +/-
wiki/peano/tuple/head.ghm +/-
wiki/peano/tuple/index.ghm +/-
wiki/peano/tuple/interval.ghm +/-
wiki/peano/tuple/multiply.ghm +/-
wiki/peano/tuple/ordered-pair.ghm +/-
wiki/peano/tuple/set.ghm +/-
wiki/peano/tuple/tail.ghm +/-
wiki/tutorial/overview.ghm +
wiki/tutorial/sampler.ghm +/-
wiki/tutorial/tutorial.ghm +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-03-05 09:02:34:
peano/peano_thms.gh +/-
peano/prop.gh +/-
peano_new/arithmetic/common/add_multiply.gh +/-
peano_new/arithmetic/common/calculations/integers.gh +/-
peano_new/arithmetic/common/calculations/naturals.gh +/-
peano_new/arithmetic/common/division.gh +/-
peano_new/arithmetic/common/exponent.gh +/-
peano_new/arithmetic/common/ifn.gh +/-
peano_new/arithmetic/common/inequality.gh +/-
peano_new/arithmetic/common/mulcan.gh +/-
peano_new/arithmetic/common/negative.gh +/-
peano_new/arithmetic/common/negative.ghi +/-
peano_new/arithmetic/complex/add_multiply_min.gh +/-
peano_new/arithmetic/complex/division_min.gh +/-
peano_new/arithmetic/complex/equality_min.gh +/-
peano_new/arithmetic/complex/negative_min.gh +/-
peano_new/arithmetic/integers/add_multiply_min.gh +/-
peano_new/arithmetic/integers/import_naturals.gh +/-
peano_new/arithmetic/naturals/halfminus.gh +/-
peano_new/arithmetic/naturals/halfminus.ghi +/-
peano_new/arithmetic/naturals/import.ghi +/-
peano_new/arithmetic/naturals/inequality_nat.gh +/-
peano_new/arithmetic/naturals/inequality_nat.ghi +/-
peano_new/arithmetic/naturals/min_mod_div.gh +/-
peano_new/arithmetic/naturals/natural_specific.gh +/-
peano_new/arithmetic/reals/common.ghi +/-
peano_new/arithmetic/reals/sqrt.gh +/-
peano_new/function.gh +/-
peano_new/predicate/equality.gh +/-
peano_new/predicate/predicate.gh +/-
peano_new/prop.gh +/-
peano_new/prop.ghi +/-
peano_new/set.gh +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-02-20 08:55:21:
general/Axioms_of_first-order_logic.ghi +/-
general/Basic_operations_of_Zermelo-Fraenkel_set_theory.gh +
general/Basic_operations_of_Zermelo-Fraenkel_set_theory.ghi +
general/Basic_operations_of_Zermelo–Fraenkel_set_theory.gh -
general/Basic_operations_of_Zermelo–Fraenkel_set_theory.ghi -
general/First-order_logic.ghi +/-
general/First-order_logic_with_quantifiability.ghi +/-
general/First_steps_in_set_theory.gh +/-
general/First_steps_in_set_theory.ghi +/-
general/Peano_axioms.ghi +/-
general/Relations.gh +/-
general/Tarski's_geometry_axioms.ghi +/-
general/Zermelo-Fraenkel_set_theory.ghi +
general/Zermelo–Fraenkel_set_theory.ghi -
peano_new/arithmetic/common/add_multiply.gh +/-
peano_new/arithmetic/common/add_multiply.ghi +/-
peano_new/arithmetic/common/add_multiply_min.ghi +/-
peano_new/arithmetic/common/division.gh +/-
peano_new/arithmetic/common/division.ghi +/-
peano_new/arithmetic/common/exponent.gh +
peano_new/arithmetic/common/exponent.ghi +
peano_new/arithmetic/common/exponent_min.ghi +
peano_new/arithmetic/common/ifn.gh +/-
peano_new/arithmetic/common/ifn.ghi +/-
peano_new/arithmetic/common/inequality.gh +/-
peano_new/arithmetic/common/inequality.ghi +/-
peano_new/arithmetic/common/negative.gh +/-
peano_new/arithmetic/common/negative.ghi +/-
peano_new/arithmetic/common/negative_min.ghi +/-
peano_new/arithmetic/integers/add_multiply_int.ghi +/-
peano_new/arithmetic/integers/add_multiply_min.gh +/-
peano_new/arithmetic/integers/equality_int.ghi +/-
peano_new/arithmetic/integers/import_naturals.gh +
peano_new/arithmetic/integers/inequality_int.ghi +
peano_new/arithmetic/integers/inequality_min.gh +/-
peano_new/arithmetic/naturals/add_multiply_min.gh +/-
peano_new/arithmetic/naturals/add_multiply_nat.ghi +/-
peano_new/arithmetic/naturals/common.ghi +/-
peano_new/arithmetic/naturals/halfminus.gh +
peano_new/arithmetic/naturals/halfminus.ghi +
peano_new/arithmetic/naturals/import.ghi +
peano_new/arithmetic/naturals/inequality_min.gh +/-
peano_new/arithmetic/naturals/inequality_nat.gh +
peano_new/arithmetic/naturals/inequality_nat.ghi +/-
peano_new/arithmetic/naturals/inequality_nat_min.ghi +
peano_new/arithmetic/naturals/min_mod_div.gh +
peano_new/arithmetic/naturals/min_mod_div.ghi +
peano_new/arithmetic/naturals/mulcan_min.gh +/-
peano_new/arithmetic/naturals/natural_specific.gh +
peano_new/arithmetic/naturals/natural_specific.ghi +
peano_new/arithmetic/naturals/ordered_pair_nat.ghi +
peano_new/arithmetic/naturals/recursion.gh +
peano_new/arithmetic/naturals/recursion_min.gh +
peano_new/arithmetic/naturals/recursion_min.ghi +
peano_new/arithmetic/rationals/division_min.gh +/-
peano_new/arithmetic/reals/common.gh +/-
peano_new/arithmetic/reals/common.ghi +/-
peano_new/arithmetic/reals/common2.gh +/-
peano_new/arithmetic/reals/sqrt.gh +
peano_new/arithmetic/reals/sqrt_min.gh +
peano_new/arithmetic/reals/sqrt_min.ghi +
peano_new/arithmetic/reals/supremum-ax.ghi +
peano_new/arithmetic/reals/supremum-def.gh +
peano_new/arithmetic/reals/supremum-def.ghi +
peano_new/arithmetic/reals/supremum.gh +
peano_new/arithmetic/reals/supremum.ghi +
peano_new/function.gh +/-
peano_new/function.ghi +
peano_new/predicate/all.ghi +/-
peano_new/predicate/equality.gh +/-
peano_new/predicate/equality.ghi +/-
peano_new/predicate/predicate.gh +/-
peano_new/predicate/predicate.ghi +/-
peano_new/prop.gh +/-
peano_new/prop.ghi +/-
peano_new/set.gh +/-
peano_new/set.ghi +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-02-05 05:37:43:
peano_new/arithmetic/add_multiply_min.ghi -
peano_new/arithmetic/common/add_multiply.gh +
peano_new/arithmetic/common/add_multiply.ghi +
peano_new/arithmetic/common/add_multiply_min.ghi +
peano_new/arithmetic/common/calculations/integers.gh +
peano_new/arithmetic/common/calculations/naturals.gh +
peano_new/arithmetic/common/calculations/naturals.ghi +
peano_new/arithmetic/common/division.gh +
peano_new/arithmetic/common/division.ghi +
peano_new/arithmetic/common/division_min.ghi +
peano_new/arithmetic/common/ifn.gh +
peano_new/arithmetic/common/ifn.ghi +
peano_new/arithmetic/common/inequality.gh +
peano_new/arithmetic/common/inequality.ghi +
peano_new/arithmetic/common/inequality_min.ghi +
peano_new/arithmetic/common/mulcan.gh +
peano_new/arithmetic/common/mulcan.ghi +
peano_new/arithmetic/common/mulcan_min.ghi +
peano_new/arithmetic/common/negative.gh +
peano_new/arithmetic/common/negative.ghi +
peano_new/arithmetic/common/negative_min.ghi +
peano_new/arithmetic/common/ordered-pair.ghi +
peano_new/arithmetic/complex/add_multiply_com.ghi +
peano_new/arithmetic/complex/add_multiply_min.gh +
peano_new/arithmetic/complex/division_min.gh +
peano_new/arithmetic/complex/equality_com.ghi +
peano_new/arithmetic/complex/equality_min.gh +
peano_new/arithmetic/complex/negative_min.gh +
peano_new/arithmetic/division.gh -
peano_new/arithmetic/division.ghi -
peano_new/arithmetic/division_NaN.gh -
peano_new/arithmetic/division_NaN.ghi -
peano_new/arithmetic/division_min.gh -
peano_new/arithmetic/division_min.ghi -
peano_new/arithmetic/inequality_min.ghi -
peano_new/arithmetic/integers/add_multiply_int.ghi +
peano_new/arithmetic/integers/add_multiply_min.gh +
peano_new/arithmetic/integers/equality_int.ghi +
peano_new/arithmetic/integers/equality_min.gh +
peano_new/arithmetic/integers/inequality_min.gh +
peano_new/arithmetic/integers/mulcan_min.gh +
peano_new/arithmetic/integers/negative_min.gh +
peano_new/arithmetic/natural_calculations.gh -
peano_new/arithmetic/natural_calculations.ghi -
peano_new/arithmetic/naturals/add_multiply_min.gh +
peano_new/arithmetic/naturals/add_multiply_nat.ghi +
peano_new/arithmetic/naturals/common.gh +
peano_new/arithmetic/naturals/common.ghi +
peano_new/arithmetic/naturals/common2.gh +
peano_new/arithmetic/naturals/inequality_min.gh +
peano_new/arithmetic/naturals/inequality_nat.ghi +
peano_new/arithmetic/naturals/mulcan_min.gh +
peano_new/arithmetic/naturals/peano_min.ghi +
peano_new/arithmetic/naturals.gh -
peano_new/arithmetic/naturals.ghi -
peano_new/arithmetic/negative.gh -
peano_new/arithmetic/negative.ghi -
peano_new/arithmetic/negative_calculations.gh -
peano_new/arithmetic/negative_min.gh -
peano_new/arithmetic/negative_min.ghi -
peano_new/arithmetic/ordered-pair.ghi -
peano_new/arithmetic/peano.gh -
peano_new/arithmetic/peano_min.ghi -
peano_new/arithmetic/rationals/NaN_construction/division_NaN.gh +
peano_new/arithmetic/rationals/NaN_construction/division_NaN.ghi +
peano_new/arithmetic/rationals/NaN_construction/equality_min.gh +
peano_new/arithmetic/rationals/division_min.gh +
peano_new/arithmetic/rationals/equality_min.gh +
peano_new/arithmetic/reals/common.gh +
peano_new/arithmetic/reals/common.ghi +
peano_new/arithmetic/reals/common2.gh +
peano_new/function.gh +/-
peano_new/predicate/all.gh +
peano_new/predicate/all.ghi +
peano_new/predicate/all2.gh +
peano_new/predicate/equality.gh +/-
peano_new/predicate/equality.ghi +/-
peano_new/predicate/predicate.ghi +/-
peano_new/predicate/predicate_equals.gh -
peano_new/predicate/predicate_equals.ghi -
peano_new/predicate/predicate_equals2.gh -
peano_new/predicate/predicate_min.ghi +/-
peano_new/prop.gh +/-
peano_new/prop.ghi +/-
peano_new/set.gh +/-
peano_new/set.ghi +/-
Commit by Jim Kingdon <kingdon@panix.com>, 2014-01-29 07:50:45:
peano_new/arithmetic/division_NaN.gh +/-
peano_new/arithmetic/division_min.gh +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-01-26 03:27:36:
peano_new/arithmetic/natural_calculations.gh +/-
peano_new/arithmetic/naturals.gh +/-
peano_new/arithmetic/naturals.ghi +/-
peano_new/arithmetic/negative.gh +/-
peano_new/arithmetic/negative.ghi +/-
peano_new/arithmetic/ordered-pair.ghi +/-
peano_new/arithmetic/peano.gh +/-
peano_new/function.gh +
peano_new/predicate/equality.gh +/-
peano_new/predicate/equality.ghi +/-
peano_new/predicate/predicate.gh +/-
peano_new/predicate/predicate.ghi +/-
peano_new/predicate/predicate_equals.ghi +/-
peano_new/set.gh +/-
peano_new/set.ghi +/-
Commit by Paul Merrell <merrell42@gmail.com>, 2014-01-21 02:23:37:
peano/integers.gh +/-
peano_new/arithmetic/add_multiply_min.ghi +
peano_new/arithmetic/division.gh +
peano_new/arithmetic/division.ghi +
peano_new/arithmetic/division_NaN.gh +
peano_new/arithmetic/division_NaN.ghi +
peano_new/arithmetic/division_min.gh +
peano_new/arithmetic/division_min.ghi +
peano_new/arithmetic/inequality_min.ghi +
peano_new/arithmetic/natural_calculations.gh +
peano_new/arithmetic/natural_calculations.ghi +
peano_new/arithmetic/naturals.gh +
peano_new/arithmetic/naturals.ghi +
peano_new/arithmetic/negative.gh +
peano_new/arithmetic/negative.ghi +
peano_new/arithmetic/negative_calculations.gh +
peano_new/arithmetic/negative_min.gh +
peano_new/arithmetic/negative_min.ghi +
peano_new/arithmetic/ordered-pair.ghi +
peano_new/arithmetic/peano.gh +
peano_new/arithmetic/peano_min.ghi +
peano_new/predicate/equality.gh +
peano_new/predicate/equality.ghi +
peano_new/predicate/equality_min.ghi +
peano_new/predicate/predicate.gh +
peano_new/predicate/predicate.ghi +
peano_new/predicate/predicate_equals.gh +
peano_new/predicate/predicate_equals.ghi +
peano_new/predicate/predicate_equals2.gh +
peano_new/predicate/predicate_min.ghi +
peano_new/prop.gh +
peano_new/prop.ghi +
peano_new/prop_min.ghi +
peano_new/set.gh +
peano_new/set.ghi +
peano_new/set_min.ghi +