| Tue, 12 Oct 2010 21:30:44 +0200 | krauss | slightly more robust proof | changeset | files |
| Mon, 11 Oct 2010 08:32:09 -0700 | huffman | renamed type and constant 'sfp' to 'defl'; replaced syntax SFP('a) with DEFL('a) | changeset | files |
| 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 |
| Thu, 07 Oct 2010 13:54:43 -0700 | huffman | move stuff from Algebraic.thy to Bifinite.thy and elsewhere | changeset | files |
| Thu, 07 Oct 2010 13:33:06 -0700 | huffman | add lemma typedef_ideal_completion | changeset | files |