doc-src/TutorialI/Documents/document/Documents.tex
2011-10-09 ago updated ISABELLE_HOME_USER;
2010-11-08 ago updated generated files;
2010-08-27 ago eliminated old 'local' command;
2009-03-22 ago 1. New cancellation simprocs for common factors in inequations
2009-01-01 ago updated generated files;
2008-11-18 ago moved table of standard Isabelle symbols to isar-ref manual;
2008-05-30 ago *** empty log message ***
2008-05-29 ago *** empty log message ***
2007-11-11 ago updated;
2007-11-08 ago updated to notation and abbreviation
2005-08-31 ago tuned;
2005-08-29 ago updated;
2005-08-29 ago updated;
2005-08-28 ago updated;
2005-08-16 ago updated;
2005-06-22 ago *** empty log message ***
2005-05-25 ago *** empty log message ***
2005-02-01 ago the new subst tactic, by Lucas Dixon
2004-08-18 ago import -> imports
2004-08-16 ago Adapted text to new theory header syntax.
2004-03-26 ago symbols in idents
2004-02-10 ago updated links to the old ftp site
2004-01-12 ago Added lemmas to Ring_and_Field with slightly modified simplification rules
2003-01-29 ago *** empty log message ***
2003-01-15 ago auto-update
2002-12-17 ago auto-update
2002-07-31 ago *** empty log message ***
2002-01-15 ago tuned;
2002-01-15 ago updated;
2002-01-15 ago stylistic changes
2002-01-14 ago updated;
2002-01-14 ago updated;
2002-01-14 ago updated;
2002-01-14 ago updated;
2002-01-14 ago tuned;
2002-01-09 ago updated;
2002-01-09 ago updated;
2002-01-09 ago updated;
2002-01-08 ago tuned;
2002-01-08 ago tuned;
2002-01-08 ago tuned;
2002-01-08 ago updated;
2002-01-08 ago updated;
2002-01-07 ago updated;
2002-01-07 ago updated;
2002-01-06 ago updated;
2002-01-06 ago updated;
2002-01-05 ago updated;
2002-01-05 ago updated;
2002-01-05 ago more on concrete syntax;
2002-01-04 ago updated;
2001-10-21 ago updated;
2001-10-01 ago *** empty log message ***