src/HOL/ex/Classpackage.thy
changeset 20187 af47971ea304
parent 20178 e56fa3c8b1f1
child 20383 58f65fc90cf4
     1.1 --- a/src/HOL/ex/Classpackage.thy	Sun Jul 23 07:21:22 2006 +0200
     1.2 +++ b/src/HOL/ex/Classpackage.thy	Sun Jul 23 07:21:41 2006 +0200
     1.3 @@ -312,7 +312,6 @@
     1.4  code_generate (ml, haskell) x
     1.5  code_generate (ml, haskell) y
     1.6  
     1.7 -code_serialize ml (_)
     1.8  code_serialize ml (-)
     1.9  
    1.10  end