| Fri, 10 Mar 2006 16:05:34 +0100 | schirmer | Added Library/AssocList.thy | changeset | files |
| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | changeset | files |
| 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 |