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