Wed, 06 Oct 1999 18:50:51 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Sat, 04 Sep 1999 21:13:01 +0200 |
wenzelm |
replaced ?? by ?;
|
file |
diff |
annotate
|
Wed, 18 Aug 1999 16:05:27 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 02 Aug 1999 17:58:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 30 Jul 1999 13:44:29 +0200 |
wenzelm |
renamed 'same' to '-';
|
file |
diff |
annotate
|
Fri, 09 Jul 1999 18:59:01 +0200 |
wenzelm |
mono: extra I/E;
|
file |
diff |
annotate
|
Thu, 08 Jul 1999 18:39:34 +0200 |
wenzelm |
removed old version;
|
file |
diff |
annotate
|
Mon, 05 Jul 1999 09:52:25 +0200 |
wenzelm |
variant version;
|
file |
diff |
annotate
|
Sun, 04 Jul 1999 20:21:45 +0200 |
wenzelm |
fixed scope of x:??H;
|
file |
diff |
annotate
|
Sat, 03 Jul 1999 00:28:05 +0200 |
wenzelm |
proper text;
|
file |
diff |
annotate
|
Fri, 02 Jul 1999 15:04:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 01 Jul 1999 22:20:58 +0200 |
wenzelm |
fixed order_trans;
|
file |
diff |
annotate
|
Thu, 01 Jul 1999 21:30:18 +0200 |
wenzelm |
added KnasterTarski.thy;
|
file |
diff |
annotate
|