kleing [Wed, 17 Nov 2004 07:35:50 +0100] rev 15291
removed Exercises document (available on separate web site now)
kleing [Wed, 17 Nov 2004 07:35:14 +0100] rev 15290
removed exercised document
aspinall [Tue, 16 Nov 2004 20:20:14 +0100] rev 15289
Markup obtain as introducing a nested goal.
paulson [Mon, 15 Nov 2004 18:21:34 +0100] rev 15288
removed a "clone" (duplicate code)
webertj [Mon, 15 Nov 2004 17:04:11 +0100] rev 15287
minor rewording
aspinall [Mon, 15 Nov 2004 13:51:43 +0100] rev 15286
Add <undoitem> for theory-state undos.
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.
webertj [Sun, 14 Nov 2004 01:56:58 +0100] rev 15284
*** empty log message ***
webertj [Sun, 14 Nov 2004 01:40:27 +0100] rev 15283
DOCTYPE declaration added
webertj [Sat, 13 Nov 2004 17:30:03 +0100] rev 15282
Exercises added