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.
IsarThy.begin_theory;
authorwenzelm
Tue, 13 Sep 2005 22:19:52 +0200
changeset 17367 44518c82100a
parent 17366 325707c676e2
child 17368 e02adca07c31
IsarThy.begin_theory;
src/Pure/Thy/thy_parse.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_parse.ML	Tue Sep 13 22:19:51 2005 +0200
+++ b/src/Pure/Thy/thy_parse.ML	Tue Sep 13 22:19:52 2005 +0200
@@ -453,7 +453,7 @@
 (* header *)
 
 fun mk_header (thy_name, parents) =
-  (thy_name, "IsarThy.begin_theory " ^ cat (Library.quote thy_name) (mk_list parents) ^ " []");
+  (thy_name, "IsarThy.begin_theory " ^ cat (Library.quote thy_name) (mk_list parents) ^ " [] false");
 
 val header = ident --$$ "=" -- enum1 "+" name >> mk_header;
isabelle