doc-src/System/Thy/document/Basics.tex
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-09-18 wenzelm 2008-09-18 updated generated file;
2008-09-16 wenzelm 2008-09-16 Proof General: option -I is obsolete;
2008-09-16 wenzelm 2008-09-16 updated generated file;
2008-09-16 wenzelm 2008-09-16 misc tuning and modernization;
2008-09-15 wenzelm 2008-09-15 generated files;