| Thu, 18 Nov 2004 18:46:09 +0100 | webertj | imports (new syntax for theory headers) | file | diff | annotate |
| Thu, 26 Aug 2004 17:28:57 +0200 | webertj | comment modified | file | diff | annotate |
| Wed, 26 May 2004 18:23:46 +0200 | webertj | mainly new/different datatype examples | file | diff | annotate |
| Fri, 26 Mar 2004 19:58:43 +0100 | webertj | satsolver=dpll | file | diff | annotate |
| Fri, 12 Mar 2004 10:47:59 +0100 | webertj | \<dots> replaced by ... | file | diff | annotate |
| Thu, 11 Mar 2004 11:24:54 +0100 | webertj | Refute_Examples added/fixed | file | diff | annotate |
| Wed, 10 Mar 2004 20:36:11 +0100 | webertj | Updated examples | file | diff | annotate |
| Sat, 10 Jan 2004 13:35:10 +0100 | webertj | Adding 'refute' to HOL. | file | diff | annotate |