| Thu, 15 May 2008 20:14:10 +0200 |
use Isabelle sty files from Doc/;
|
file | diff | annotate |
| Tue, 19 Aug 2003 18:45:48 +0200 |
partial conversion to Isar format
|
file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file | diff | annotate |
| Fri, 26 May 2000 11:18:06 +0200 |
updated acknowledgements
|
file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 |
improved indexing;
|
file | diff | annotate |
| Wed, 16 Feb 2000 10:50:57 +0100 |
a smaller point size reduces the number of overfull figures
|
file | diff | annotate |
| Tue, 12 Oct 1999 19:14:06 +0200 |
a4paper;
|
file | diff | annotate |
| Fri, 03 Sep 1999 16:11:03 +0200 |
fixed usepackage;
|
file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 |
pdf setup;
|
file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 |
Now uses manual.bib; some references updated
|
file | diff | annotate |
| Tue, 04 May 1999 17:59:55 +0200 |
isabelle_zf image;
|
file | diff | annotate |
| Wed, 13 Jan 1999 16:36:36 +0100 |
the separate FOL and ZF logics manual, with new material on datatypes and
|
file | diff | annotate |