doc-src/TutorialI/Rules/rules.tex
2005-06-16 nipkow 2005-06-16 *** empty log message ***
2005-06-10 nipkow 2005-06-10 tuning
2005-05-11 paulson 2005-05-11 documented new subst method
2005-03-22 paulson 2005-03-22 auto update
2004-12-02 nipkow 2004-12-02 *** empty log message ***
2004-02-20 paulson 2004-02-20 new "where" section
2003-01-29 nipkow 2003-01-29 *** empty log message ***
2002-12-13 paulson 2002-12-13 trace_unify_fail
2002-07-31 nipkow 2002-07-31 *** empty log message ***
2002-01-18 wenzelm 2002-01-18 tuned;
2001-12-18 paulson 2001-12-18 minor suggestions from Markus
2001-12-18 wenzelm 2001-12-18 tuned;
2001-12-06 paulson 2001-12-06 intro and elim now require arguments
2001-11-30 paulson 2001-11-30 minor tweaks
2001-11-12 paulson 2001-11-12 new-style numerals without leading #, along with generic 0 and 1
2001-08-09 paulson 2001-08-09 revisions and indexing
2001-08-08 paulson 2001-08-08 Getting it working again with 1' instead of 1
2001-08-03 paulson 2001-08-03 numerous stylistic changes and indexing
2001-07-17 paulson 2001-07-17 tidying the index
2001-07-13 paulson 2001-07-13 less indexing of theorem names
2001-07-12 paulson 2001-07-12 indexing
2001-07-11 paulson 2001-07-11 indexing and tweaks
2001-05-16 paulson 2001-05-16 typo
2001-04-17 paulson 2001-04-17 *** empty log message ***
2001-03-30 paulson 2001-03-30 quantifier instantiation
2001-02-22 paulson 2001-02-22 subst method and a new section on rule, rule_tac, etc
2001-02-20 nipkow 2001-02-20 *** empty log message ***
2001-02-16 paulson 2001-02-16 Least_def now refers to LeastM
2001-02-07 paulson 2001-02-07 various revisions in response to comments from Tobias
2001-02-06 paulson 2001-02-06 snapshot of a new version
2001-01-26 nipkow 2001-01-26 *** empty log message ***
2001-01-25 nipkow 2001-01-25 *** empty log message ***
2001-01-24 nipkow 2001-01-24 *** empty log message ***
2001-01-23 paulson 2001-01-23 arg_cong, tacticals, pr, defer, prefer
2001-01-12 paulson 2001-01-12 the \\epsilon character causes font errors in a section title
2001-01-10 paulson 2001-01-10 case_tac on bools
2001-01-10 paulson 2001-01-10 various changes including the SOME examples, rule_format and "by"
2001-01-05 paulson 2001-01-05 a few extra brackets
2000-12-05 paulson 2000-12-05 tidying
2000-12-04 paulson 2000-12-04 fixed formatting in section heading
2000-11-30 paulson 2000-11-30 replaced Eps by SOME
2000-11-06 paulson 2000-11-06 minor modifications for new Springer style
2000-10-26 paulson 2000-10-26 added the $Id:$ line
2000-10-23 paulson 2000-10-23 tidied
2000-10-23 paulson 2000-10-23 the Rules chapter and theories