src/HOL/ex/Classpackage.thy
changeset 24423 ae9cd0e92423
parent 24348 c708ea5b109a
child 24657 185502d54c3d
     1.1 --- a/src/HOL/ex/Classpackage.thy	Fri Aug 24 14:14:18 2007 +0200
     1.2 +++ b/src/HOL/ex/Classpackage.thy	Fri Aug 24 14:14:20 2007 +0200
     1.3 @@ -342,7 +342,7 @@
     1.4  definition "x2 = X (1::int) 2 3"
     1.5  definition "y2 = Y (1::int) 2 3"
     1.6  
     1.7 -export_code x1 x2 y2 in SML module_name Classpackage
     1.8 +export_code mult x1 x2 y2 in SML module_name Classpackage
     1.9    in OCaml file -
    1.10    in Haskell file -
    1.11