| Mon, 17 Nov 2008 21:13:48 +0100 | wenzelm | removed Induct/Mutil.thy -- the file has been moved to AFP; | changeset | files |
| Mon, 17 Nov 2008 17:25:02 +0100 | nipkow | -> AFP | changeset | files |
| Mon, 17 Nov 2008 17:00:55 +0100 | haftmann | tuned unfold_locales invocation | changeset | files |
| Mon, 17 Nov 2008 17:00:27 +0100 | haftmann | explicit name morphism function for locale interpretation | changeset | files |
| Mon, 17 Nov 2008 17:00:26 +0100 | haftmann | Name.name_with_prefix (temporarily) | changeset | files |
| Mon, 17 Nov 2008 17:00:22 +0100 | haftmann | adjusted locale signature to *_cmd convention | changeset | files |
| Mon, 17 Nov 2008 17:00:21 +0100 | haftmann | whitespace tuning | changeset | files |