Tue, 18 Dec 2007 19:15:31 +0100 | huffman | rearrange into subsections | changeset | files |
Tue, 18 Dec 2007 18:39:00 +0100 | paulson | Skolemization now catches exception THM, which may be raised if unification fails. | changeset | files |
Tue, 18 Dec 2007 17:37:25 +0100 | paulson | Deleted redundant setmp calls | changeset | files |