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 |
Wed, 08 Mar 2006 18:52:43 +0100 | urbanc | tuned some proofs | changeset | files |
Wed, 08 Mar 2006 18:37:31 +0100 | wenzelm | select_goals: split original conjunctions; | changeset | files |
Wed, 08 Mar 2006 18:37:30 +0100 | wenzelm | method: goal restriction defaults to [1]; | changeset | files |