src/HOL/Isar_examples/document/root.tex
2000-10-18 wenzelm 2000-10-18 MultisetOrder mmoved to HOL/Library;
2000-10-03 wenzelm 2000-10-03 tuned;
2000-09-02 wenzelm 2000-09-02 tuned;
2000-04-05 wenzelm 2000-04-05 added NestedDatatype;
2000-02-08 wenzelm 2000-02-08 omit Primes;
2000-02-04 wenzelm 2000-02-04 manually load session;
1999-12-07 wenzelm 1999-12-07 tuned;
1999-12-07 wenzelm 1999-12-07 tuned;
1999-10-15 wenzelm 1999-10-15 improved presentation;
1999-10-14 wenzelm 1999-10-14 improved presentation;
1999-10-09 wenzelm 1999-10-09 bib;
1999-10-08 wenzelm 1999-10-08 url;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-05 wenzelm 1999-10-05 added document;