| Mon, 30 Jun 2008 22:24:27 +0200 | wenzelm | filemap for CVS -> Mercurial conversion; | changeset | files |
| Mon, 30 Jun 2008 22:16:47 +0200 | huffman | reuse proofs from Deflation.thy; clean up proof of finite_range_cfun_lemma | changeset | files |
| Mon, 30 Jun 2008 21:52:17 +0200 | huffman | New theory of deflations and embedding-projection pairs | changeset | files |
| Mon, 30 Jun 2008 21:47:56 +0200 | huffman | remove unused Cset.thy | changeset | files |
| Mon, 30 Jun 2008 14:06:44 +0200 | urbanc | added facts to lemma swap_simps and tuned lemma calc_atms | changeset | files |
| Mon, 30 Jun 2008 13:41:33 +0200 | haftmann | simplified retrieval of theory names of consts and types | changeset | files |
| Mon, 30 Jun 2008 13:41:31 +0200 | haftmann | tagged arities | changeset | files |