| Fri, 10 Mar 2006 12:28:38 +0100 | paulson | Changed some warnings to debug messages | changeset | files |
| Fri, 10 Mar 2006 12:27:36 +0100 | paulson | Frequency analysis of constants (with types). | changeset | files |
| Fri, 10 Mar 2006 04:03:48 +0100 | mengj | Shortened the exception messages from assume. | changeset | files |
| 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 |