Mon, 08 Dec 2008 10:14:50 +0100 |
haftmann |
tuned LaTeX files
|
file |
diff |
annotate
|
Mon, 10 Nov 2008 09:03:28 +0100 |
haftmann |
clarified verbatim vs. typewriter
|
file |
diff |
annotate
|
Mon, 03 Nov 2008 14:15:25 +0100 |
haftmann |
improved verbatim mechanism
|
file |
diff |
annotate
|
Fri, 10 Oct 2008 15:52:45 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Thu, 09 Oct 2008 18:16:07 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Thu, 15 May 2008 20:02:42 +0200 |
wenzelm |
use Isabelle sty files from Doc/;
|
file |
diff |
annotate
|
Mon, 05 May 2008 15:27:13 +0200 |
wenzelm |
removed isasymIN -- already defined in isar.sty;
|
file |
diff |
annotate
|
Wed, 09 Jan 2008 08:33:01 +0100 |
haftmann |
some more primrec
|
file |
diff |
annotate
|
Wed, 05 Dec 2007 14:15:39 +0100 |
haftmann |
added something about instantiation target
|
file |
diff |
annotate
|
Tue, 24 Jul 2007 15:21:54 +0200 |
haftmann |
updated
|
file |
diff |
annotate
|
Fri, 23 Feb 2007 08:39:20 +0100 |
haftmann |
continued
|
file |
diff |
annotate
|
Wed, 14 Feb 2007 10:06:13 +0100 |
haftmann |
continued class tutorial
|
file |
diff |
annotate
|
Tue, 10 Oct 2006 11:38:43 +0200 |
haftmann |
initial draft
|
file |
diff |
annotate
|