| Fri, 10 Mar 2006 04:02:53 +0100 | mengj | METAHYPS catches THM assume exception and prints out the terms containing schematic vars. | changeset | files |
| Fri, 10 Mar 2006 00:53:28 +0100 | huffman | added many simple lemmas | changeset | files |
| Thu, 09 Mar 2006 06:05:01 +0100 | mengj | Added more functions to the signature and tidied up some functions. | changeset | files |
| Wed, 08 Mar 2006 21:40:46 +0100 | wenzelm | tuned; | changeset | files |