doc-src/IsarRef/Thy/document/Misc.tex
2010-10-29 wenzelm 2010-10-29 eliminated obsolete \_ escapes in rail environments;
2010-10-10 wenzelm 2010-10-10 note on Isabelle file specifications; removed junk;
2009-11-08 wenzelm 2009-11-08 print_theorems: suppress concealed (global) facts, unless "!" option is given;
2009-02-28 wenzelm 2009-02-28 updated generated files;
2009-02-13 kleing 2009-02-13 typo
2009-02-13 kleing 2009-02-13 find_consts: documentation. (by Timothy Bourke)
2009-02-13 kleing 2009-02-13 FindTheorems solves: update documentation (by Timothy Bourke)
2008-11-13 wenzelm 2008-11-13 updated generated files;
2008-07-15 wenzelm 2008-07-15 removed command 'redo'; added command 'linear_undo';
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;