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.
time_use_thy "Locales";
authorwenzelm
Fri, 23 Nov 2001 19:19:35 +0100
changeset 12276 7bafe3d6c248
parent 12275 aa2b7b475a94
child 12277 2b28d7dd91f5
time_use_thy "Locales";
src/HOL/ex/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ROOT.ML	Fri Nov 23 17:19:14 2001 +0100
+++ b/src/HOL/ex/ROOT.ML	Fri Nov 23 19:19:35 2001 +0100
@@ -6,7 +6,7 @@
 
 time_use_thy "Recdefs";
 time_use_thy "Primrec";
-(* FIXME time_use_thy "Locales"; *)
+time_use_thy "Locales";
 time_use_thy "Records";
 time_use_thy "MonoidGroup";
 time_use_thy "StringEx";
isabelle