| Fri, 15 May 2009 15:12:23 -0700 | huffman | continuity proofs for approx function on deflations; lemma cast_below_imp_below | changeset | files |
| Tue, 12 May 2009 12:16:33 -0700 | huffman | allow lazy domain arguments to have class cpo | changeset | files |
| Tue, 12 May 2009 12:01:25 -0700 | huffman | add cpo_type function | changeset | files |
| Tue, 12 May 2009 11:37:40 -0700 | huffman | fix domain package parsing of lhs sort constraints | changeset | files |
| Tue, 12 May 2009 10:40:09 -0700 | huffman | export quiet_mode and trace_domain refs for domain package | changeset | files |
| Fri, 15 May 2009 10:01:57 +0200 | nipkow | new lemma | changeset | files |
| Thu, 14 May 2009 21:57:03 +0200 | haftmann | merged | changeset | files |