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
|