Sun, 26 Mar 2000 20:16:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 17 Nov 1999 15:03:23 +0100 |
wenzelm |
added Isar_examples/Puzzle.thy;
|
file |
diff |
annotate
|
Sat, 30 Oct 1999 20:20:48 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Thu, 28 Oct 1999 19:57:34 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Fri, 15 Oct 1999 16:44:37 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Thu, 14 Oct 1999 16:02:39 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Mon, 11 Oct 1999 20:44:23 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Sat, 09 Oct 1999 23:18:01 +0200 |
wenzelm |
improved;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 15:09:14 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Wed, 06 Oct 1999 18:50:51 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Wed, 06 Oct 1999 00:31:40 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|