| Tue, 13 Sep 2005 22:19:36 +0200 | wenzelm | Proof.get_thmss; | changeset | files |
| Tue, 13 Sep 2005 22:19:35 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 13 Sep 2005 22:19:34 +0200 | wenzelm | more self-contained proof elements (material from isar_thy.ML); | changeset | files |
| Tue, 13 Sep 2005 22:19:33 +0200 | wenzelm | added cases, rule_contextN; | changeset | files |
| Tue, 13 Sep 2005 22:19:32 +0200 | wenzelm | load locale.ML late (after proof.ML); | changeset | files |
| Tue, 13 Sep 2005 22:19:31 +0200 | wenzelm | added maps, map_list, lift, lifts; | changeset | files |
| Tue, 13 Sep 2005 22:19:30 +0200 | wenzelm | added stack.ML; | changeset | files |
| Tue, 13 Sep 2005 22:19:29 +0200 | wenzelm | added simple_fact; | changeset | files |
| Tue, 13 Sep 2005 22:19:28 +0200 | wenzelm | Seq.maps; | changeset | files |
| Tue, 13 Sep 2005 22:19:27 +0200 | wenzelm | added hide_names(_i) (from isar_thy.ML); | changeset | files |
| Tue, 13 Sep 2005 22:19:26 +0200 | wenzelm | added generic_setup, add_oracle (from isar_thy.ML); | changeset | files |
| Tue, 13 Sep 2005 22:19:25 +0200 | wenzelm | added exception EXCEPTION of exn * string; | changeset | files |
| Tue, 13 Sep 2005 22:19:24 +0200 | wenzelm | replaced DATA_FAIL by EXCEPTION; | changeset | files |
| Tue, 13 Sep 2005 22:19:23 +0200 | wenzelm | tuned Isar interfaces; | changeset | files |
| Tue, 13 Sep 2005 22:19:22 +0200 | wenzelm | added General/stack.ML, Isar/proof_display.ML; | changeset | files |
| Tue, 13 Sep 2005 22:19:21 +0200 | wenzelm | the_list (cf. Pure/library.ML); | changeset | files |