Thu, 01 Jun 2006 14:15:08 +0200 | urbanc | added the hack "reset NameSpace.unique_names" to Nominal.thy | changeset | files |
Tue, 30 May 2006 12:24:04 +0200 | schirmer | tuned type print-translations | changeset | files |
Mon, 29 May 2006 21:09:45 +0200 | wenzelm | proper meta definition; | changeset | files |