doc-src/IsarRef/basics.tex
1999-10-30 wenzelm tuned;
1999-10-21 wenzelm updated;
1999-09-04 wenzelm updated;
1999-08-24 wenzelm draft release;
1999-08-22 wenzelm checkpoint;
1999-08-19 wenzelm more;
1999-07-30 wenzelm more;
1999-07-19 wenzelm skeleton only;
less more (0) tip