Thu, 11 Mar 2004 00:15:24 +0100 | webertj | SML/NJ compatibility fixes | file | diff | annotate |
Wed, 10 Mar 2004 22:33:48 +0100 | webertj | support for non-recursive IDTs, The, arbitrary, Hilbert_Choice.Eps | file | diff | annotate |
Mon, 12 Jan 2004 14:35:07 +0100 | webertj | Fixed compatibility issues with SML/NJ: | file | diff | annotate |
Sat, 10 Jan 2004 13:35:10 +0100 | webertj | Adding 'refute' to HOL. | file | diff | annotate |