Fri, 30 Mar 2001 13:29:16 +0200 |
paulson |
quantifier instantiation
|
file |
diff |
annotate
|
Thu, 22 Feb 2001 18:13:23 +0100 |
paulson |
subst method and a new section on rule, rule_tac, etc
|
file |
diff |
annotate
|
Tue, 20 Feb 2001 10:37:12 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 16 Feb 2001 18:50:09 +0100 |
paulson |
Least_def now refers to LeastM
|
file |
diff |
annotate
|
Wed, 07 Feb 2001 16:37:24 +0100 |
paulson |
various revisions in response to comments from Tobias
|
file |
diff |
annotate
|
Tue, 06 Feb 2001 18:37:59 +0100 |
paulson |
snapshot of a new version
|
file |
diff |
annotate
|
Fri, 26 Jan 2001 15:50:28 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 25 Jan 2001 15:31:31 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 24 Jan 2001 12:29:10 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 23 Jan 2001 18:13:00 +0100 |
paulson |
arg_cong, tacticals, pr, defer, prefer
|
file |
diff |
annotate
|
Fri, 12 Jan 2001 17:59:37 +0100 |
paulson |
the \\epsilon character causes font errors in a section title
|
file |
diff |
annotate
|
Wed, 10 Jan 2001 12:43:51 +0100 |
paulson |
case_tac on bools
|
file |
diff |
annotate
|
Wed, 10 Jan 2001 11:12:45 +0100 |
paulson |
various changes including the SOME examples, rule_format and "by"
|
file |
diff |
annotate
|
Fri, 05 Jan 2001 18:16:01 +0100 |
paulson |
a few extra brackets
|
file |
diff |
annotate
|
Tue, 05 Dec 2000 18:56:18 +0100 |
paulson |
tidying
|
file |
diff |
annotate
|
Mon, 04 Dec 2000 17:30:15 +0100 |
paulson |
fixed formatting in section heading
|
file |
diff |
annotate
|
Thu, 30 Nov 2000 17:55:17 +0100 |
paulson |
replaced Eps by SOME
|
file |
diff |
annotate
|
Mon, 06 Nov 2000 18:28:22 +0100 |
paulson |
minor modifications for new Springer style
|
file |
diff |
annotate
|
Thu, 26 Oct 2000 11:27:48 +0200 |
paulson |
added the $Id:$ line
|
file |
diff |
annotate
|
Mon, 23 Oct 2000 17:37:49 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Mon, 23 Oct 2000 16:25:04 +0200 |
paulson |
the Rules chapter and theories
|
file |
diff |
annotate
|