doc-src/IsarRef/refcard.tex
1999-10-31 wenzelm 1999-10-31 tuned;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-29 wenzelm 1999-10-29 tuned;
1999-10-29 wenzelm 1999-10-29 improved;
1999-10-21 wenzelm 1999-10-21 *** empty log message ***