src/HOL/ex/document/root.bib
2005-04-28 bauerg 2005-04-28 *** empty log message ***
2004-04-15 nipkow 2004-04-15 Added ex/Exceptions.thy
2002-08-02 wenzelm 2002-08-02 added Isabelle LNCSes;
2002-02-19 wenzelm 2002-02-19 Paulson:1989;
2001-12-14 wenzelm 2001-12-14 Wenzel:2001:Isar-examples;
2001-12-04 wenzelm 2001-12-04 added Higher_Order_Logic.thy;
2001-11-08 wenzelm 2001-11-08 ex/document/root.bib;