| Tue, 01 Jul 2008 01:19:08 +0200 | huffman | rename lemmas INF_foo to INFM_foo; add new lemmas about MOST and INFM | changeset | files |
| Tue, 01 Jul 2008 01:09:03 +0200 | huffman | rename compact_approx to compact_take | changeset | files |
| Tue, 01 Jul 2008 00:58:19 +0200 | huffman | rename approx_pd to pd_take | changeset | files |
| Tue, 01 Jul 2008 00:52:46 +0200 | huffman | split Completion.thy from CompactBasis.thy | changeset | files |
| 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 |