Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/isar_thy.ML
changeset 15979 c81578ac2d31
parent 15829 652e53c4a1ed
child 16143 ee6f7e6fc196
equal deleted inserted replaced
15978:f044579b147c 15979:c81578ac2d31 
   683 fun init_context f x = Toplevel.init_theory (fn _ => fetch_context f x) (K ()) (K ());
 
   683 fun init_context f x = Toplevel.init_theory (fn _ => fetch_context f x) (K ()) (K ());
 
   684 
   684 
   685 val context = init_context (ThyInfo.quiet_update_thy true);
 
   685 val context = init_context (ThyInfo.quiet_update_thy true);
 
   686 
   686 
   687 end;
 
   687 end;
 
   688
isabelle