Fri, 19 Aug 2005 22:44:01 +0200 |
wenzelm |
tuned generated stuff;
|
file |
diff |
annotate
|
Mon, 03 Dec 2001 20:59:29 +0100 |
wenzelm |
\renewcommand{\isasymzero}, \renewcommand{\isasymone};
|
file |
diff |
annotate
|
Sun, 15 Oct 2000 19:51:19 +0200 |
wenzelm |
fixed \isasyminv;
|
file |
diff |
annotate
|
Thu, 12 Oct 2000 17:39:47 +0200 |
wenzelm |
tuned syms;
|
file |
diff |
annotate
|
Tue, 03 Oct 2000 18:55:23 +0200 |
wenzelm |
major cleanup -- improved typesetting;
|
file |
diff |
annotate
|
Mon, 22 May 2000 11:56:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 21 May 2000 21:48:39 +0200 |
wenzelm |
new Isar version;
|
file |
diff |
annotate
|
Sun, 21 May 2000 01:12:00 +0200 |
wenzelm |
snapshot of new Isar'ized version;
|
file |
diff |
annotate
|
Mon, 10 May 1999 16:35:22 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
Wed, 17 Mar 1999 13:56:29 +0100 |
wenzelm |
axclass_tac lost an argument;
|
file |
diff |
annotate
|
Wed, 03 Feb 1999 13:23:24 +0100 |
paulson |
standard spelling: type-checking
|
file |
diff |
annotate
|
Mon, 27 Oct 1997 15:29:01 +0100 |
wenzelm |
Isa94-2 instead of Isa95;
|
file |
diff |
annotate
|
Mon, 12 May 1997 17:53:36 +0200 |
wenzelm |
Tutorial on Axiomatic Type Classes;
|
file |
diff |
annotate
|