Mon, 11 Oct 2010 07:09:42 -0700 | huffman | merged | changeset | files |
Sat, 09 Oct 2010 07:24:49 -0700 | huffman | move all bifinite class instances to Bifinite.thy | changeset | files |
Fri, 08 Oct 2010 07:39:50 -0700 | huffman | rename class 'sfp' to 'bifinite' | changeset | files |