doc-src/manual.bib
2002-05-13 wenzelm updated X-Symbol URL;
2002-03-04 berghofe Tuned some references to LNCS volumes.
2002-02-19 wenzelm tuned;
2002-02-12 wenzelm added isabelle-hol-book;
2002-01-07 wenzelm tuned;
2002-01-02 wenzelm added isabelle-intro, isabelle-logics;
2001-12-31 berghofe Added "Executing higher order logic" paper.
2001-12-11 wenzelm added HOL-Library;
2001-11-29 nipkow *** empty log message ***
2001-09-28 berghofe Added TPHOLs2000 paper about proof terms.
2001-09-17 wenzelm tuned;
2001-04-24 paulson new reference: Yahalom
2001-04-10 paulson security protocol refs
2001-03-15 nipkow *** empty log message ***
2001-03-15 nipkow *** empty log message ***
2001-03-14 nipkow *** empty log message ***
2001-03-07 paulson expanded abbrevs
2001-03-07 nipkow *** empty log message ***
2001-01-24 nipkow *** empty log message ***
2001-01-05 paulson Fleuriot reference
2000-10-18 nipkow *** empty log message ***
2000-10-11 nipkow *** empty log message ***
2000-10-11 nipkow *** empty log message ***
2000-10-06 wenzelm tuned;
2000-09-28 wenzelm www.proofgeneral.org;
2000-09-26 wenzelm www.proofgeneral.org;
2000-09-03 paulson new reference girard89
2000-08-14 wenzelm Aspinall:2000:eProof;
2000-08-09 wenzelm added Bauer-Wenzel:2000:HB;
2000-05-20 wenzelm new stuff;
2000-03-17 wenzelm x-symbol;
2000-02-23 paulson new reference korf85
1999-12-09 wenzelm updated;
1999-11-06 wenzelm tuned;
1999-11-01 paulson inserted {...}
1999-10-31 wenzelm updated;
1999-10-28 wenzelm tuned;
1999-10-13 wenzelm isabelle-isar-ref;
1999-08-25 wenzelm TPHOLs99;
1999-08-19 wenzelm sysman: Stefan Berghofer;
1999-08-16 wenzelm isamode;
1999-08-04 wenzelm added isabelle-sys, proofgeneral;
1999-07-19 wenzelm updated;
1999-05-28 wenzelm tuned manual.bib;
1999-05-18 paulson added Locale paper
1999-05-10 wenzelm tuned;
1999-05-10 wenzelm axclass;
1999-05-10 wenzelm fixed URLs;
1999-05-07 paulson new refererences for Inductive manual, but still incomplete
1999-05-06 nipkow More refs.
1999-05-05 paulson Now uses manual.bib; some references updated
less more (0) tip