Wed, 03 Mar 1999 11:12:29 +0100 | paulson | tidied | changeset | files |
Wed, 03 Mar 1999 10:50:42 +0100 | paulson | UNITY fully working at last... | changeset | files |
Wed, 03 Mar 1999 10:36:24 +0100 | paulson | expandshort | changeset | files |
Wed, 03 Mar 1999 10:32:35 +0100 | paulson | new theory of extending the state space | changeset | files |
Mon, 01 Mar 1999 19:10:43 +0100 | wenzelm | fixed {ISABELLE}; | changeset | files |
Mon, 01 Mar 1999 18:38:43 +0100 | paulson | removed the infernal States, eqStates, compatible, etc. | changeset | files |