| Wed, 20 Oct 2010 21:26:51 -0700 | huffman | merged | changeset | files |
| Wed, 20 Oct 2010 19:40:02 -0700 | huffman | introduce function strict :: 'a -> 'b -> 'b, which works like Haskell's seq; use strict instead of strictify in various definitions | changeset | files |
| Wed, 20 Oct 2010 17:25:22 -0700 | huffman | add lemma lub_eq_bottom_iff | changeset | files |
| Wed, 20 Oct 2010 16:19:25 -0700 | huffman | combine check_and_sort_domain with main function; rewrite much of the error-checking code | changeset | files |
| Wed, 20 Oct 2010 13:22:30 -0700 | huffman | constructor arguments with selectors must have pointed types | changeset | files |
| Wed, 20 Oct 2010 13:02:13 -0700 | huffman | simplify check_and_sort_domain; more meaningful variable names | changeset | files |
| Tue, 19 Oct 2010 16:21:24 -0700 | huffman | replace fixrec 'permissive' mode with per-equation 'unchecked' option | changeset | files |