Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ignore mutual recursive modules
authorhaftmann
Tue, 02 Oct 2007 07:59:54 +0200
changeset 24810 862b71696efe
parent 24809 41a21f59f74d
child 24811 3bf788a0c49a
ignore mutual recursive modules
src/HOL/ex/Codegenerator.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Codegenerator.thy	Mon Oct 01 22:52:20 2007 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Tue Oct 02 07:59:54 2007 +0200
@@ -15,7 +15,7 @@
 *}
 
 export_code * in SML module_name CodegenTest
-  in OCaml file -
+  in OCaml module_name CodegenTest file -
   in Haskell file -
 
 ML {*
isabelle