| Thu, 16 Oct 2008 22:44:24 +0200 | wenzelm | explicit SORT_CONSTRAINT for proofs depending implicitly on certain sorts; | changeset | files |
| Thu, 16 Oct 2008 22:44:22 +0200 | wenzelm | avoid CRITICAL with_path; | changeset | files |
| Thu, 16 Oct 2008 19:44:36 +0200 | huffman | rewrite more proofs in Isar style | changeset | files |
| Thu, 16 Oct 2008 17:52:54 +0200 | ballarin | Removed ex/Locales.thy. | changeset | files |