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