doc-src/IsarRef/intro.tex
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-21 wenzelm 1999-10-21 updated;
1999-10-16 wenzelm 1999-10-16 PROOFGENERAL_OPTIONS="-u false";
1999-10-12 wenzelm 1999-10-12 a4paper; tuned;
1999-09-09 wenzelm 1999-09-09 fixed url;
1999-09-07 wenzelm 1999-09-07 \url;
1999-09-04 wenzelm 1999-09-04 updated;
1999-09-03 wenzelm 1999-09-03 tuned;
1999-08-24 wenzelm 1999-08-24 draft release;
1999-08-22 wenzelm 1999-08-22 checkpoint;
1999-08-19 wenzelm 1999-08-19 more;
1999-08-04 wenzelm 1999-08-04 tuned;
1999-08-03 wenzelm 1999-08-03 tuned; much more material;
1999-07-19 wenzelm 1999-07-19 skeleton only;