| Wed, 27 Oct 2010 14:15:54 -0700 | huffman | make syntax of continuous if-then-else consistent with HOL if-then-else | changeset | files |
| Wed, 27 Oct 2010 13:54:18 -0700 | huffman | rename lemmas *_defined_iff and *_strict_iff to *_bottom_iff | changeset | files |
| Wed, 03 Nov 2010 10:44:53 +0100 | haftmann | polyml_as_definition does not require explicit dependencies on external ML files | changeset | files |