| Fri, 15 Dec 2000 17:59:30 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Thu, 14 Dec 2000 19:36:48 +0100 | wenzelm | added Summation; | file | diff | annotate |
| Fri, 24 Nov 2000 16:49:27 +0100 | nipkow | hide many names from Datatype_Universe. | file | diff | annotate |
| Wed, 18 Oct 2000 23:40:17 +0200 | wenzelm | tuned declarations; | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 17 Aug 2000 10:33:37 +0200 | wenzelm | fixed deps; | file | diff | annotate |
| Wed, 14 Jun 2000 17:59:53 +0200 | wenzelm | theorems [cases type: bool] = case_split; | file | diff | annotate |
| Fri, 12 May 2000 15:05:02 +0200 | paulson | NatSimprocs is now a theory, not a file | file | diff | annotate |
| Mon, 08 May 2000 20:59:30 +0200 | wenzelm | moved theory Sexp to Induct examples; | file | diff | annotate |
| Fri, 21 Apr 2000 11:28:18 +0200 | paulson | new file Integ/NatSimprocs.ML | file | diff | annotate |
| Fri, 24 Mar 2000 08:56:48 +0100 | nipkow | comments | file | diff | annotate |
| Thu, 16 Mar 2000 00:35:27 +0100 | wenzelm | added HOL/PreLIst.thy; | file | diff | annotate |