| Tue, 08 Aug 2000 14:15:24 +0200 | oheimb | moved Hoare_example to Examples; other minor improvements | changeset | files |
| Tue, 08 Aug 2000 13:23:45 +0200 | berghofe | Deleted unneeded proof; simplified proof of app_last. | changeset | files |
| Tue, 08 Aug 2000 01:26:34 +0200 | wenzelm | added forall_elim_vars_safe, norm_hhf_eq; | changeset | files |
| Tue, 08 Aug 2000 01:17:59 +0200 | wenzelm | norm_hhf results; | changeset | files |
| Tue, 08 Aug 2000 01:17:28 +0200 | wenzelm | prf_heading kind; | changeset | files |
| Mon, 07 Aug 2000 14:34:26 +0200 | kleing | MicroJava structure changed | changeset | files |
| Mon, 07 Aug 2000 14:34:03 +0200 | kleing | Invoke instruction gets fully qualified method name (class+name+sig) as | changeset | files |