doc-src/System/Thy/document/Misc.tex
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-09-16 wenzelm 2008-09-16 tuned;
2008-09-16 wenzelm 2008-09-16 separate emacs tool for Proof General / Emacs;
2008-09-16 wenzelm 2008-09-16 misc tuning and modernization;
2008-09-15 wenzelm 2008-09-15 converted misc.tex;