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 |
Wed, 03 Nov 2010 13:54:23 +0100 | wenzelm | explicit warning about opaque signature matching -- saves extra paragraph in implementation manual; | changeset | files |
Wed, 03 Nov 2010 11:33:51 +0100 | wenzelm | discontinued obsolete function sys_error and exception SYS_ERROR; | changeset | files |
Wed, 03 Nov 2010 11:11:49 +0100 | wenzelm | replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment; | changeset | files |