Mon, 12 Nov 2001 12:38:06 +0100 | paulson | Tidying necessitated by new simprules in equalities.ML | file | diff | annotate |
Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
Mon, 06 Aug 2001 16:43:40 +0200 | paulson | Converted 1 to 1' | file | diff | annotate |
Mon, 05 Mar 2001 15:47:11 +0100 | paulson | reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp | file | diff | annotate |