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/HOL/Typedef.thy
changeset 58239 1c5bc387bd4c
parent 48891 c0eafbd55de3
child 58889 5b7a9633cfa8
equal deleted inserted replaced
58238:a701907d621e 58239:1c5bc387bd4c 
   106   qed
 
   106   qed
 
   107 qed
 
   107 qed
 
   108 
   108 
   109 end
 
   109 end
 
   110 
   110 
   111 ML_file "Tools/typedef.ML" setup Typedef.setup
 
   111 ML_file "Tools/typedef.ML"
 
   112 
   112 
   113 end
 
   113 end
isabelle