| Thu, 16 Mar 2000 00:35:27 +0100 | wenzelm | added HOL/PreLIst.thy; | changeset | files |
| Thu, 16 Mar 2000 00:33:46 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Mar 2000 00:32:55 +0100 | wenzelm | do not change parindent/parskip; | changeset | files |
| Thu, 16 Mar 2000 00:31:58 +0100 | wenzelm | Isar: splitter support; improved diagnostics; | changeset | files |
| Thu, 16 Mar 2000 00:29:03 +0100 | wenzelm | Splitter support; | changeset | files |
| Thu, 16 Mar 2000 00:28:35 +0100 | wenzelm | moved "cases" to generic.tex; | changeset | files |
| Thu, 16 Mar 2000 00:27:02 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Mar 2000 00:26:44 +0100 | wenzelm | Named local contexts (cases); | changeset | files |
| Wed, 15 Mar 2000 23:41:42 +0100 | berghofe | Added setup for primrec theory data. | changeset | files |
| Wed, 15 Mar 2000 23:40:59 +0100 | berghofe | get_recdef now returns None instead of raising ERROR. | changeset | files |
| Wed, 15 Mar 2000 23:39:45 +0100 | berghofe | Added new theory data slot for primrec equations. | changeset | files |
| Wed, 15 Mar 2000 23:38:52 +0100 | berghofe | Now returns theorems with correct names in derivations. | changeset | files |
| Wed, 15 Mar 2000 23:38:19 +0100 | berghofe | Eliminated store_clasimp. | changeset | files |
| Wed, 15 Mar 2000 23:36:46 +0100 | berghofe | - Fixed bug in prove_casedist_thms (proof failed because of | changeset | files |
| Wed, 15 Mar 2000 18:52:07 +0100 | wenzelm | made SML/XL happy; | changeset | files |
| Wed, 15 Mar 2000 18:50:48 +0100 | wenzelm | ## -D document; | changeset | files |
| Wed, 15 Mar 2000 18:50:14 +0100 | wenzelm | renamed isabelle env; | changeset | files |
| Wed, 15 Mar 2000 18:47:28 +0100 | wenzelm | splitter setup; | changeset | files |
| Wed, 15 Mar 2000 18:42:54 +0100 | wenzelm | clasimp: include Splitter; | changeset | files |
| Wed, 15 Mar 2000 18:42:13 +0100 | wenzelm | splitter setup; | changeset | files |
| Wed, 15 Mar 2000 18:41:00 +0100 | wenzelm | tuned comments; | changeset | files |
| Wed, 15 Mar 2000 18:40:03 +0100 | wenzelm | include Splitter.split_modifiers; | changeset | files |
| Wed, 15 Mar 2000 18:38:52 +0100 | wenzelm | added attributes, method modifiers, theory setup; | changeset | files |
| Wed, 15 Mar 2000 18:36:53 +0100 | wenzelm | export change_global_ss, change_local_ss; | changeset | files |
| Wed, 15 Mar 2000 18:33:41 +0100 | wenzelm | removed export_chain; | changeset | files |
| Wed, 15 Mar 2000 18:32:41 +0100 | wenzelm | eliminated toplevel stack; | changeset | files |
| Wed, 15 Mar 2000 18:30:45 +0100 | wenzelm | 'pr': modes, optional limit; | changeset | files |
| Wed, 15 Mar 2000 18:29:32 +0100 | wenzelm | pr: modes, optional limit; | changeset | files |