| Thu, 17 Aug 2000 10:31:43 +0200 | wenzelm | updated; | changeset | files |
| Thu, 17 Aug 2000 10:31:10 +0200 | wenzelm | renamed 'RS' to 'THEN'; | changeset | files |
| Thu, 17 Aug 2000 10:29:50 +0200 | wenzelm | fixed lbrace, rbrace; | changeset | files |
| Thu, 17 Aug 2000 10:29:23 +0200 | wenzelm | Isar/Pure: renamed 'RS' attribute to 'THEN'; | changeset | files |
| Wed, 16 Aug 2000 18:10:15 +0200 | nipkow | Fixed completeness bug in simplifier: congruence rules could preclude | changeset | files |
| Wed, 16 Aug 2000 10:25:02 +0200 | paulson | major sharpening of stable_project_transient | changeset | files |
| Wed, 16 Aug 2000 10:23:25 +0200 | paulson | new (unused) lemma | changeset | files |
| Wed, 16 Aug 2000 10:22:41 +0200 | paulson | new thm and simprule Compl_Diff_eq | changeset | files |
| Mon, 14 Aug 2000 18:49:35 +0200 | wenzelm | added conversion.tex; | changeset | files |
| Mon, 14 Aug 2000 18:49:23 +0200 | wenzelm | moved tactic emulation methods here; | changeset | files |
| Mon, 14 Aug 2000 18:47:32 +0200 | wenzelm | added 'declare' command; | changeset | files |
| Mon, 14 Aug 2000 18:45:49 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 14 Aug 2000 18:45:31 +0200 | wenzelm | updated; | changeset | files |
| Mon, 14 Aug 2000 18:45:16 +0200 | wenzelm | renamed 'intrs' to 'intros'; | changeset | files |
| Mon, 14 Aug 2000 18:43:57 +0200 | wenzelm | updated command termination issue; | changeset | files |
| Mon, 14 Aug 2000 18:43:30 +0200 | wenzelm | some more refs; | changeset | files |
| 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 |