Wed, 17 Nov 2004 22:17:51 +0100 replaced strangely encoded space characters by  
kleing [Wed, 17 Nov 2004 22:17:51 +0100] rev 15294
replaced strangely encoded space characters by  
Wed, 17 Nov 2004 19:25:34 +0100 removed explicit mentioning of zChaffs version number
webertj [Wed, 17 Nov 2004 19:25:34 +0100] rev 15293
removed explicit mentioning of zChaffs version number
Wed, 17 Nov 2004 16:24:07 +0100 minor changes (comments/code refactoring)
webertj [Wed, 17 Nov 2004 16:24:07 +0100] rev 15292
minor changes (comments/code refactoring)
Wed, 17 Nov 2004 07:35:50 +0100 removed Exercises document (available on separate web site now)
kleing [Wed, 17 Nov 2004 07:35:50 +0100] rev 15291
removed Exercises document (available on separate web site now)
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.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip