Mon, 15 Nov 2004 12:13:14 +0100 Renamed some variables to eliminate conflicts with constants.
paulson [Mon, 15 Nov 2004 12:13:14 +0100] rev 15285
Renamed some variables to eliminate conflicts with constants. Introduced some abbreviations (following TPTP axiom sets) to reduce the amount of repetition. Uncommented some examples, which increases the runtime somewhat.
Sun, 14 Nov 2004 01:56:58 +0100 *** empty log message ***
webertj [Sun, 14 Nov 2004 01:56:58 +0100] rev 15284
*** empty log message ***
Sun, 14 Nov 2004 01:40:27 +0100 DOCTYPE declaration added
webertj [Sun, 14 Nov 2004 01:40:27 +0100] rev 15283
DOCTYPE declaration added
Sat, 13 Nov 2004 17:30:03 +0100 Exercises added
webertj [Sat, 13 Nov 2004 17:30:03 +0100] rev 15282
Exercises added
Sat, 13 Nov 2004 07:47:34 +0100 More lemmas
nipkow [Sat, 13 Nov 2004 07:47:34 +0100] rev 15281
More lemmas
Fri, 12 Nov 2004 20:55:04 +0100 minor code refactoring
webertj [Fri, 12 Nov 2004 20:55:04 +0100] rev 15280
minor code refactoring
Fri, 12 Nov 2004 16:26:19 +0100 improved "subscribe" link
paulson [Fri, 12 Nov 2004 16:26:19 +0100] rev 15279
improved "subscribe" link
Fri, 12 Nov 2004 15:49:25 +0100 added DOCTYPE and Content-Type declarations to make this a valid HTML file
webertj [Fri, 12 Nov 2004 15:49:25 +0100] rev 15278
added DOCTYPE and Content-Type declarations to make this a valid HTML file
Fri, 12 Nov 2004 15:45:19 +0100 isatool usedir -f
webertj [Fri, 12 Nov 2004 15:45:19 +0100] rev 15277
isatool usedir -f
Thu, 11 Nov 2004 10:50:24 +0100 updated subscription wording and link
paulson [Thu, 11 Nov 2004 10:50:24 +0100] rev 15276
updated subscription wording and link
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip