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 |