| Mon, 19 May 2008 23:50:06 +0200 | huffman | instantiation lift :: (countable) bifinite | changeset | files |
| Mon, 19 May 2008 23:49:20 +0200 | huffman | use new class package for classes profinite, bifinite; remove approx class | changeset | files |
| Sun, 18 May 2008 17:04:48 +0200 | wenzelm | updated generated file; | changeset | files |