Wed, 17 Nov 2004 07:35:14 +0100 removed exercised document
kleing [Wed, 17 Nov 2004 07:35:14 +0100] rev 15290
removed exercised document
Tue, 16 Nov 2004 20:20:14 +0100 Markup obtain as introducing a nested goal.
aspinall [Tue, 16 Nov 2004 20:20:14 +0100] rev 15289
Markup obtain as introducing a nested goal.
Mon, 15 Nov 2004 18:21:34 +0100 removed a "clone" (duplicate code)
paulson [Mon, 15 Nov 2004 18:21:34 +0100] rev 15288
removed a "clone" (duplicate code)
Mon, 15 Nov 2004 17:04:11 +0100 minor rewording
webertj [Mon, 15 Nov 2004 17:04:11 +0100] rev 15287
minor rewording
Mon, 15 Nov 2004 13:51:43 +0100 Add <undoitem> for theory-state undos.
aspinall [Mon, 15 Nov 2004 13:51:43 +0100] rev 15286
Add <undoitem> for theory-state undos.
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
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip