| Thu, 01 Jun 2006 14:51:37 +0200 | paulson | Tiny code cleanup | changeset | files |
| Thu, 01 Jun 2006 14:40:22 +0200 | urbanc | added an example suggested by D. Wang on the PoplMark-mailing list; | changeset | files |
| 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 |
| Mon, 29 May 2006 19:42:58 +0200 | schirmer | fixed bug in type print translations | changeset | files |
| Mon, 29 May 2006 19:23:04 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 29 May 2006 17:38:30 +0200 | paulson | warnings to debug outputs | changeset | files |