Mon, 10 Jan 2000 16:06:43 +0100 | nipkow | Forgot to "call" MicroJava in makefile. | changeset | files |
Fri, 07 Jan 2000 11:06:03 +0100 | paulson | tidied parentheses | changeset | files |
Fri, 07 Jan 2000 11:04:15 +0100 | paulson | tidied | changeset | files |
Fri, 07 Jan 2000 11:00:56 +0100 | paulson | new theorem leadsTo_refl and induction rule leadsTo_induct_pre | changeset | files |
Fri, 07 Jan 2000 10:57:06 +0100 | paulson | better automation for "slice" | changeset | files |
Fri, 07 Jan 2000 10:55:35 +0100 | paulson | moved some proofs from UNITY/ELT to UNITY/Project | changeset | files |
Thu, 06 Jan 2000 16:00:18 +0100 | wenzelm | obtain: renamed 'in' to 'where'; | changeset | files |