doc-src/manual.bib
2007-02-14 haftmann 2007-02-14 continued class tutorial
2007-02-10 haftmann 2007-02-10 added references for code generator tutorial
2006-10-20 haftmann 2006-10-20 added entries for tutorials
2006-09-12 wenzelm 2006-09-12 added Gentzen:1935;
2006-09-05 wenzelm 2006-09-05 added Barendregt-Geuvers:2001;
2005-01-08 nipkow 2005-01-08 new citation
2004-02-12 nipkow 2004-02-12 Missing } inserted
2004-02-10 paulson 2004-02-10 updated links to the old ftp site
2003-12-15 paulson 2003-12-15 updated references to the now-pornographic proofgeneral.org
2003-09-26 paulson 2003-09-26 new reference
2003-08-13 paulson 2003-08-13 added tutorial
2002-05-13 wenzelm 2002-05-13 updated X-Symbol URL;
2002-03-04 berghofe 2002-03-04 Tuned some references to LNCS volumes.
2002-02-19 wenzelm 2002-02-19 tuned;
2002-02-12 wenzelm 2002-02-12 added isabelle-hol-book; added tphols2001; tuned tphols2000;
2002-01-08 wenzelm 2002-01-08 tuned;
2002-01-02 wenzelm 2002-01-02 added isabelle-intro, isabelle-logics;
2001-12-31 berghofe 2001-12-31 Added "Executing higher order logic" paper.
2001-12-11 wenzelm 2001-12-11 added HOL-Library;
2001-11-29 nipkow 2001-11-29 *** empty log message ***
2001-09-28 berghofe 2001-09-28 Added TPHOLs2000 paper about proof terms.
2001-09-17 wenzelm 2001-09-17 tuned;
2001-04-24 paulson 2001-04-24 new reference: Yahalom
2001-04-10 paulson 2001-04-10 security protocol refs
2001-03-15 nipkow 2001-03-15 *** empty log message ***
2001-03-15 nipkow 2001-03-15 *** empty log message ***
2001-03-14 nipkow 2001-03-14 *** empty log message ***
2001-03-07 paulson 2001-03-07 expanded abbrevs
2001-03-07 nipkow 2001-03-07 *** empty log message ***
2001-01-24 nipkow 2001-01-24 *** empty log message ***
2001-01-05 paulson 2001-01-05 Fleuriot reference
2000-10-18 nipkow 2000-10-18 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-06 wenzelm 2000-10-06 tuned;
2000-09-28 wenzelm 2000-09-28 www.proofgeneral.org;
2000-09-26 wenzelm 2000-09-26 www.proofgeneral.org;
2000-09-03 paulson 2000-09-03 new reference girard89
2000-08-14 wenzelm 2000-08-14 Aspinall:2000:eProof; Muzalewski:Mizar; Wiedijk:1999:Mizar; Wiedijk:2000:MV;
2000-08-09 wenzelm 2000-08-09 added Bauer-Wenzel:2000:HB;
2000-05-21 wenzelm 2000-05-21 new stuff;
2000-03-17 wenzelm 2000-03-17 x-symbol; Proof General: TACAS 2000;
2000-02-23 paulson 2000-02-23 new reference korf85
1999-12-09 wenzelm 1999-12-09 updated;
1999-11-06 wenzelm 1999-11-06 tuned;
1999-11-01 paulson 1999-11-01 inserted {...}
1999-10-31 wenzelm 1999-10-31 updated;
1999-10-28 wenzelm 1999-10-28 tuned;
1999-10-13 wenzelm 1999-10-13 isabelle-isar-ref;
1999-08-25 wenzelm 1999-08-25 TPHOLs99;
1999-08-19 wenzelm 1999-08-19 sysman: Stefan Berghofer;
1999-08-16 wenzelm 1999-08-16 isamode;
1999-08-04 wenzelm 1999-08-04 added isabelle-sys, proofgeneral;
1999-07-19 wenzelm 1999-07-19 updated; tuned;
1999-05-28 wenzelm 1999-05-28 tuned manual.bib;
1999-05-18 paulson 1999-05-18 added Locale paper
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 axclass; datatype;
1999-05-10 wenzelm 1999-05-10 fixed URLs;
1999-05-07 paulson 1999-05-07 new refererences for Inductive manual, but still incomplete