# HG changeset patch
# User haftmann
# Date 1245591942 -7200
# Node ID 8155c4d94354661c024e7f7d0ce9d90107716fcc
# Parent  7b9b9ba532caad091254d7dd19cd5227e8897c93
removed temporariy workarounds

diff -r 7b9b9ba532ca -r 8155c4d94354 src/HOL/ex/Codegenerator_Candidates.thy
--- a/src/HOL/ex/Codegenerator_Candidates.thy	Sun Jun 21 08:38:58 2009 +0200
+++ b/src/HOL/ex/Codegenerator_Candidates.thy	Sun Jun 21 15:45:42 2009 +0200
@@ -25,20 +25,6 @@
   "~~/src/HOL/ex/Records"
 begin
 
-(*temporary Haskell workaround*)
-declare typerep_fun_def [code inline]
-declare typerep_prod_def [code inline]
-declare typerep_sum_def [code inline]
-declare typerep_cpoint_ext_type_def [code inline]
-declare typerep_itself_def [code inline]
-declare typerep_list_def [code inline]
-declare typerep_option_def [code inline]
-declare typerep_point_ext_type_def [code inline]
-declare typerep_point'_ext_type_def [code inline]
-declare typerep_point''_ext_type_def [code inline]
-declare typerep_pol_def [code inline]
-declare typerep_polex_def [code inline]
-
 (*avoid popular infixes*)
 code_reserved SML union inter upto