Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | changeset | files |
Thu, 31 Oct 2013 16:54:22 +0100 | blanchet | generate stable names for axioms | changeset | files |
Thu, 31 Oct 2013 11:44:20 +0100 | haftmann | purely algebraic foundation for even/odd | changeset | files |