doc-src/IsarRef/generic.tex
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-29 wenzelm 1999-10-29 improved;
1999-10-21 wenzelm 1999-10-21 tuned;
1999-10-21 wenzelm 1999-10-21 *** empty log message ***
1999-09-08 wenzelm 1999-09-08 (un)fold: ignore facts;
1999-09-04 wenzelm 1999-09-04 updated;
1999-09-03 wenzelm 1999-09-03 updated;
1999-08-30 wenzelm 1999-08-30 OF: "_" as argument;
1999-08-30 wenzelm 1999-08-30 'iff' attribute;
1999-08-25 wenzelm 1999-08-25 expand_classes renamed to intro_classes;
1999-08-24 wenzelm 1999-08-24 draft release;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-22 wenzelm 1999-08-22 checkpoint;
1999-08-04 wenzelm 1999-08-04 tuned;
1999-08-03 wenzelm 1999-08-03 tuned; much more material;
1999-07-30 wenzelm 1999-07-30 even more stuff;
1999-07-30 wenzelm 1999-07-30 more;