| Wed, 09 Aug 2006 18:39:08 +0200 | paulson | blacklist augmented to block some "unit" theorems that cause unsound resolution proofs | changeset | files |
| Wed, 09 Aug 2006 15:48:51 +0200 | webertj | tuned: string_of_list, string_of_pair | changeset | files |
| Wed, 09 Aug 2006 10:59:58 +0200 | wenzelm | * ProofContext.prems_limit is now -1 by default; | changeset | files |
| Wed, 09 Aug 2006 00:14:28 +0200 | wenzelm | tuned proofs; | changeset | files |