changeset 42316 | 12635bb655fd |
parent 42231 | bc1891226d00 |
child 42598 | 85ca44488a29 |
--- a/src/HOL/Library/Code_Char.thy Fri Apr 08 16:31:14 2011 +0200 +++ b/src/HOL/Library/Code_Char.thy Fri Apr 08 16:31:14 2011 +0200 @@ -59,6 +59,6 @@ (Scala "!(_.toList)") -declare Quickcheck_Exhaustive.char.bounded_forall_char.simps [code del] +(*declare Quickcheck_Exhaustive.char.bounded_forall_char.simps [code del]*) end