changeset 39033 | e8b68ec3bb9c |
parent 39016 | caad9d509bc4 |
parent 39026 | 962d12bc546c |
child 39039 | bef9e5dd0fd0 |
--- a/src/HOL/HOL.thy Thu Sep 02 09:13:28 2010 +0200 +++ b/src/HOL/HOL.thy Thu Sep 02 11:42:50 2010 +0200 @@ -1931,6 +1931,10 @@ code_reserved Scala Boolean +code_modulename SML Pure HOL +code_modulename OCaml Pure HOL +code_modulename Haskell Pure HOL + text {* using built-in Haskell equality *} code_class equal