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 |