Fri, 03 Sep 1999 14:22:27 +0200 |
wenzelm |
tuned K;
|
file |
diff |
annotate
|
Fri, 20 Aug 1999 15:42:46 +0200 |
wenzelm |
intro (no +);
|
file |
diff |
annotate
|
Tue, 17 Aug 1999 17:34:43 +0200 |
wenzelm |
intro+;
|
file |
diff |
annotate
|
Fri, 30 Jul 1999 13:44:29 +0200 |
wenzelm |
renamed 'same' to '-';
|
file |
diff |
annotate
|
Wed, 14 Jul 1999 13:07:09 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Wed, 14 Jul 1999 12:28:12 +0200 |
wenzelm |
Deriving rules in Isabelle;
|
file |
diff |
annotate
|
Sat, 03 Jul 1999 00:26:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 01 Jul 1999 21:29:53 +0200 |
wenzelm |
renamed with/APP to of/OF;
|
file |
diff |
annotate
|
Fri, 28 May 1999 13:30:59 +0200 |
wenzelm |
tuned formal comments;
|
file |
diff |
annotate
|
Fri, 23 Apr 1999 17:01:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 16 Apr 1999 17:44:29 +0200 |
wenzelm |
Miscellaneous Isabelle/Isar examples for Higher-Order Logic.
|
file |
diff |
annotate
|