changeset 37420 | 1cf6f134e7f2 |
parent 36453 | 2f383885d8f8 |
child 37422 | 6d19e4e6ebf5 |
--- a/doc-src/IsarRef/Thy/HOL_Specific.thy Sat Jun 12 15:48:17 2010 +0200 +++ b/doc-src/IsarRef/Thy/HOL_Specific.thy Mon Jun 14 10:38:28 2010 +0200 @@ -1066,7 +1066,7 @@ target: 'OCaml' | 'SML' | 'Haskell' ; - 'code\_datatype' const + + 'code\_datatype' ( const + ) ; 'code\_const' (const + 'and') \\