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 |