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
|