Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Sat, 14 Apr 2007 17:38:30 +0200
changeset 22688 bbf8835c9f87
parent 22687 53943f4dab21
child 22689 b800228434a8
tuned comment;
src/Pure/type_infer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/type_infer.ML	Sat Apr 14 17:36:19 2007 +0200
+++ b/src/Pure/type_infer.ML	Sat Apr 14 17:38:30 2007 +0200
@@ -446,7 +446,7 @@
   in paramify end;
 
 
-(* decode sort constraints *)
+(* get sort constraints *)
 
 fun get_sort tsig def_sort map_sort raw_env =
   let
isabelle