Mercurial Mercurial > repos > isabelle / diff
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/type_infer.ML
changeset 37145 01aa36932739
parent 35013 f3d491658893
child 37236 739d8b9c59da 
--- a/src/Pure/type_infer.ML	Thu May 27 15:28:23 2010 +0200
+++ b/src/Pure/type_infer.ML	Thu May 27 17:41:27 2010 +0200
@@ -20,7 +20,7 @@
     term list -> term list
 end;
 
-structure TypeInfer: TYPE_INFER =
+structure Type_Infer: TYPE_INFER =
 struct
isabelle