| Fri, 01 Sep 2000 00:28:06 +0200 |
wenzelm |
lemmas [mono] = lists_mono;
|
file |
diff |
annotate
|
| Fri, 18 Aug 2000 17:53:49 +0200 |
wenzelm |
Main now new-style theory; added Main.ML for compatibility;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2000 10:33:37 +0200 |
wenzelm |
fixed deps;
|
file |
diff |
annotate
|
| Wed, 26 Jul 2000 19:42:19 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Thu, 16 Mar 2000 00:35:27 +0100 |
wenzelm |
added HOL/PreLIst.thy;
|
file |
diff |
annotate
|
| Mon, 02 Aug 1999 11:24:30 +0200 |
paulson |
the SVC link-up
|
file |
diff |
annotate
|
| Mon, 19 Jul 1999 15:35:42 +0200 |
paulson |
NatBin: binary arithmetic for the naturals
|
file |
diff |
annotate
|
| Thu, 08 Jul 1999 13:37:40 +0200 |
paulson |
new theory IntDiv.thy
|
file |
diff |
annotate
|
| Fri, 04 Jun 1999 19:57:31 +0200 |
wenzelm |
Calculation.thy: Setup transitivity rules for calculational proofs.
|
file |
diff |
annotate
|
| Tue, 05 Jan 1999 17:27:59 +0100 |
nipkow |
In Main: moved Bin to the left to preserve the solver in its simpset.
|
file |
diff |
annotate
|
| Wed, 09 Sep 1998 17:14:19 +0200 |
oheimb |
changed order of included theories
|
file |
diff |
annotate
|
| Wed, 12 Aug 1998 16:23:25 +0200 |
oheimb |
cleanup for Fun.thy:
|
file |
diff |
annotate
|
| Fri, 03 Jul 1998 18:05:03 +0200 |
wenzelm |
theory Main includes everything;
|
file |
diff |
annotate
|
| Fri, 03 Jul 1998 17:34:55 +0200 |
wenzelm |
stepping stones;
|
file |
diff |
annotate
|