| 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 |