src/HOL/Isar_examples/document/root.bib
2000-10-03 wenzelm 2000-10-03 Hoare logic in Isar;
1999-12-07 wenzelm 1999-12-07 tuned;
1999-10-29 wenzelm 1999-10-29 workaround bug (feature?) in bibtex;
1999-10-28 wenzelm 1999-10-28 improved presentation;
1999-10-09 wenzelm 1999-10-09 bib;