src/HOL/ex/Codegenerator.thy
changeset 23266 50f0a4f12ed3
parent 22845 5f9138bcb3d7
child 23811 b18557301bf9
     1.1 --- a/src/HOL/ex/Codegenerator.thy	Tue Jun 05 20:46:25 2007 +0200
     1.2 +++ b/src/HOL/ex/Codegenerator.thy	Tue Jun 05 22:46:53 2007 +0200
     1.3 @@ -11,4 +11,4 @@
     1.4  code_gen "*" in SML in OCaml file - in OCaml file -
     1.5  code_gen in SML in OCaml file - in OCaml file -
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end