changeset 20189 | 1be8b181dafa |
parent 20184 | 73b5efaf2aef |
child 20217 | 25b068a99d2b |
--- a/src/HOL/List.thy Tue Jul 25 16:43:31 2006 +0200 +++ b/src/HOL/List.thy Tue Jul 25 16:43:32 2006 +0200 @@ -2782,6 +2782,9 @@ ml (target_atom "char") haskell (target_atom "Char") +code_constapp Char + ml (target_atom "(__,/ __)") + setup list_codegen_setup setup CodegenPackage.rename_inconsistent