| Thu, 17 Aug 2000 10:39:44 +0200 | wenzelm | renamed 'RS' to 'THEN'; | changeset | files |
| Thu, 17 Aug 2000 10:39:30 +0200 | wenzelm | tuned error handling; | changeset | files |
| Thu, 17 Aug 2000 10:39:12 +0200 | wenzelm | added 'symmetric' attribute; | changeset | files |
| Thu, 17 Aug 2000 10:38:43 +0200 | wenzelm | updated; | changeset | files |
| Thu, 17 Aug 2000 10:38:20 +0200 | wenzelm | sel_upd proc: include 'more' pseudo-field; | changeset | files |
| Thu, 17 Aug 2000 10:37:33 +0200 | wenzelm | renamed 'mk_cases_tac' to 'ind_cases'; | changeset | files |
| Thu, 17 Aug 2000 10:37:04 +0200 | wenzelm | changed 'opaque' option to 'open' (opaque is default); | changeset | files |
| Thu, 17 Aug 2000 10:35:49 +0200 | wenzelm | renamed 'RS' to 'THEN'; | changeset | files |
| Thu, 17 Aug 2000 10:34:52 +0200 | wenzelm | converted to new-style theory; | changeset | files |
| Thu, 17 Aug 2000 10:34:28 +0200 | wenzelm | done; | changeset | files |
| Thu, 17 Aug 2000 10:34:11 +0200 | wenzelm | 'symmetric' attribute; | changeset | files |
| Thu, 17 Aug 2000 10:33:37 +0200 | wenzelm | fixed deps; | changeset | files |
| Thu, 17 Aug 2000 10:33:13 +0200 | wenzelm | renamed 'RS' to 'THEN'; | changeset | files |
| Thu, 17 Aug 2000 10:32:44 +0200 | wenzelm | index tokens; | changeset | files |
| Thu, 17 Aug 2000 10:32:20 +0200 | wenzelm | cases/induct method: 'opaque' by default; added 'open' option; | changeset | files |
| 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 |