doc-src/System/Thy/Basics.thy
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-09-18 ago unchecked $ISABELLE_HOME_USER/etc/settings;
2008-09-16 ago Proof General: option -I is obsolete;
2008-09-16 ago misc tuning and modernization;
2008-09-15 ago tuned;
2008-09-15 ago converted basics.tex to theory file;