Tue, 03 Jun 2008 00:16:37 +0200 |
wenzelm |
added Wenzel:2006:Festschrift;
|
file |
diff |
annotate
|
Mon, 05 Nov 2007 15:04:19 +0100 |
nipkow |
fix
|
file |
diff |
annotate
|
Fri, 19 Oct 2007 10:44:45 +0200 |
krauss |
updated
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 10:44:02 +0200 |
haftmann |
updated
|
file |
diff |
annotate
|
Mon, 03 Sep 2007 16:50:53 +0200 |
krauss |
Documented function package in IsarRef-manual.
|
file |
diff |
annotate
|
Thu, 09 Aug 2007 15:52:38 +0200 |
haftmann |
updated
|
file |
diff |
annotate
|
Tue, 24 Jul 2007 15:21:54 +0200 |
haftmann |
updated
|
file |
diff |
annotate
|
Tue, 26 Jun 2007 15:48:24 +0200 |
paulson |
completed some references
|
file |
diff |
annotate
|
Fri, 01 Jun 2007 15:18:31 +0200 |
krauss |
added some bibtex entries
|
file |
diff |
annotate
|
Wed, 14 Feb 2007 10:06:13 +0100 |
haftmann |
continued class tutorial
|
file |
diff |
annotate
|
Sat, 10 Feb 2007 09:26:08 +0100 |
haftmann |
added references for code generator tutorial
|
file |
diff |
annotate
|
Fri, 20 Oct 2006 17:07:22 +0200 |
haftmann |
added entries for tutorials
|
file |
diff |
annotate
|
Tue, 12 Sep 2006 12:12:25 +0200 |
wenzelm |
added Gentzen:1935;
|
file |
diff |
annotate
|
Tue, 05 Sep 2006 22:06:18 +0200 |
wenzelm |
added Barendregt-Geuvers:2001;
|
file |
diff |
annotate
|
Sat, 08 Jan 2005 09:30:16 +0100 |
nipkow |
new citation
|
file |
diff |
annotate
|