| Mon, 04 Oct 2010 06:58:37 -0700 | huffman | new lemmas about lub | changeset | files |
| Mon, 04 Oct 2010 06:45:57 -0700 | huffman | define is_ub predicate using bounded quantifier | changeset | files |
| Sat, 02 Oct 2010 17:50:33 -0700 | huffman | minimize theory imports | changeset | files |
| Fri, 01 Oct 2010 07:40:57 -0700 | huffman | added lemmas to List_Cpo.thy | changeset | files |
| Thu, 30 Sep 2010 19:42:12 -0700 | huffman | new_domain emits proper error message when a constructor argument type does not have sort 'rep' | changeset | files |
| Wed, 06 Oct 2010 17:56:41 +0200 | blanchet | move code from "Metis_Tactics" to "Metis_Reconstruct" | changeset | files |
| Wed, 06 Oct 2010 17:44:21 +0200 | blanchet | merged | changeset | files |