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