doc-src/IsarRef/isar-ref.tex
1999-08-19 wenzelm 1999-08-19 more;
1999-08-03 wenzelm 1999-08-03 tuned; much more material;
1999-07-30 wenzelm 1999-07-30 more;
1999-07-30 wenzelm 1999-07-30 more stuff;
1999-07-20 wenzelm 1999-07-20 checkpoint;
1999-07-19 wenzelm 1999-07-19 skeleton only;