| Mon, 04 Feb 2008 12:13:08 +0100 | wenzelm | *** MESSAGE REFERS TO 1.29 and 1.44 *** | changeset | files |
| Mon, 04 Feb 2008 10:52:40 +0100 | haftmann | towards quickcheck | changeset | files |
| Mon, 04 Feb 2008 10:52:39 +0100 | haftmann | suppport for messages and indices | changeset | files |
| Mon, 04 Feb 2008 10:52:37 +0100 | haftmann | added indexT | changeset | files |
| Sat, 02 Feb 2008 03:28:36 +0100 | huffman | instance "*" :: (sq_ord, sq_ord) sq_ord | changeset | files |
| Sat, 02 Feb 2008 03:26:40 +0100 | huffman | cleaned up | changeset | files |
| Fri, 01 Feb 2008 18:01:06 +0100 | nipkow | modified MCollect syntax | changeset | files |
| Fri, 01 Feb 2008 08:35:58 +0100 | haftmann | <TERM> syntax | changeset | files |
| Fri, 01 Feb 2008 08:32:26 +0100 | haftmann | fixed term_of_sort | changeset | files |
| Fri, 01 Feb 2008 08:32:10 +0100 | haftmann | fixed record problem | changeset | files |
| Fri, 01 Feb 2008 02:38:41 +0100 | huffman | add lemmas prod_lessI and Pair_less_iff [simp] | changeset | files |
| Thu, 31 Jan 2008 22:00:31 +0100 | huffman | add lemma is_lub_lambda | changeset | files |
| Thu, 31 Jan 2008 21:48:14 +0100 | huffman | add lemma cpo_lubI | changeset | files |
| Thu, 31 Jan 2008 21:37:20 +0100 | huffman | add lemma cpo_lubI | changeset | files |
| Thu, 31 Jan 2008 21:23:14 +0100 | huffman | instances for class discrete_cpo | changeset | files |
| Thu, 31 Jan 2008 21:22:03 +0100 | huffman | new lemma cont_discrete_cpo | changeset | files |