| Tue, 19 Oct 2010 12:26:37 +0200 | bulwahn | removing something that probably slipped into the Quotient_List theory | changeset | files |
| Tue, 19 Oct 2010 11:44:42 +0900 | Cezary Kaliszyk | Quotient package: partial equivalence introduction | changeset | files |
| Mon, 18 Oct 2010 14:25:15 +0100 | Christian Urban | reorganisation of the FSet theory (changed the primary naming scheme of constants and theorems to *_fset) | changeset | files |
| Sat, 16 Oct 2010 17:10:23 -0700 | huffman | remove dead code | changeset | files |
| Sat, 16 Oct 2010 17:09:57 -0700 | huffman | remove old uses of 'simp_tac HOLCF_ss' | changeset | files |
| Sat, 16 Oct 2010 16:39:06 -0700 | huffman | merged | changeset | files |
| Sat, 16 Oct 2010 16:22:42 -0700 | huffman | remove last few dependencies on domain_library.ML and delete it; temporarily disable emptiness check | changeset | files |