| Sun, 12 Feb 2006 10:42:19 +0100 | kleing | * moved ThreeDivides from Isar_examples to better suited HOL/ex | changeset | files |
| Sun, 12 Feb 2006 04:31:18 +0100 | kleing | divisibility by 3 theorem, contributed by Benjamin Porter, | changeset | files |
| Sat, 11 Feb 2006 17:17:55 +0100 | wenzelm | replaced mixfix_conflict by mixfix_content; | changeset | files |
| Sat, 11 Feb 2006 17:17:54 +0100 | wenzelm | added map_theory; | changeset | files |
| Sat, 11 Feb 2006 17:17:53 +0100 | wenzelm | added abbreviations: activated by init, no expressions yet; | changeset | files |
| Sat, 11 Feb 2006 17:17:52 +0100 | wenzelm | added restore; | changeset | files |
| Sat, 11 Feb 2006 17:17:51 +0100 | wenzelm | tuned mixfixes, mixfix_conflict; | changeset | files |