| Mon, 14 Aug 2000 18:42:57 +0200 | wenzelm | Aspinall:2000:eProof; | changeset | files |
| Mon, 14 Aug 2000 18:14:54 +0200 | wenzelm | raplaced "intrs" by "intrs" (new-style only); | changeset | files |
| Mon, 14 Aug 2000 18:13:42 +0200 | wenzelm | cases: support multiple insts; | changeset | files |
| Mon, 14 Aug 2000 18:13:14 +0200 | wenzelm | intros; | changeset | files |
| Mon, 14 Aug 2000 18:08:26 +0200 | kleing | added MicroJava/BV/StepMono.thy, | changeset | files |
| Mon, 14 Aug 2000 18:03:19 +0200 | kleing | Convert.thy now in Isar, tuned | changeset | files |
| Mon, 14 Aug 2000 14:57:29 +0200 | wenzelm | tuned names; | changeset | files |
| Mon, 14 Aug 2000 14:53:47 +0200 | wenzelm | added hypsubst; | changeset | files |
| Mon, 14 Aug 2000 14:53:26 +0200 | wenzelm | added "fastsimp"; | changeset | files |
| Mon, 14 Aug 2000 14:51:51 +0200 | wenzelm | added declare_theorems(_i); | changeset | files |
| Mon, 14 Aug 2000 14:50:53 +0200 | wenzelm | added "declare" command; | changeset | files |
| Mon, 14 Aug 2000 14:50:32 +0200 | wenzelm | added thy_script kind; | changeset | files |