| 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 |