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/toplevel.ML
changeset 69715 1bc422c08209
parent 69708 1c201e4792cb
child 69719 331ef175a112
equal deleted inserted replaced
69714:b7e708ba7786 69715:1bc422c08209 
   747       end;
 
   747       end;
 
   748 
   748 
   749 end;
 
   749 end;
 
   750 
   750 
   751 end;
 
   751 end;
 
   752 
   752 (* FIXME
 
   753 structure Local_Theory : LOCAL_THEORY = struct open Local_Theory; end;
 
   753 structure Local_Theory : LOCAL_THEORY = struct open Local_Theory; end;
 
       
   754 *)
isabelle