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/Tools/datatype_package.ML
changeset 15704 93163972dbdc
parent 15703 727ef1b8b3ee
child 16122 864fda4a4056
equal deleted inserted replaced
15703:727ef1b8b3ee 15704:93163972dbdc 
  1010 
  1010 
  1011 end;
 
  1011 end;
 
  1012 
  1012 
  1013 structure BasicDatatypePackage: BASIC_DATATYPE_PACKAGE = DatatypePackage;
 
  1013 structure BasicDatatypePackage: BASIC_DATATYPE_PACKAGE = DatatypePackage;
 
  1014 open BasicDatatypePackage;
 
  1014 open BasicDatatypePackage;
 
       
  1015
isabelle