# HG changeset patch
# User wenzelm
# Date 1357556377 -3600
# Node ID eee13361ec0a4a564459bf1ad6d0769e032cf885
# Parent  37091451ba1a8522f489a4ea7363c412f34527e6
tuned comment -- do not claim anything;

diff -r 37091451ba1a -r eee13361ec0a src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Mon Jan 07 10:17:11 2013 +0100
+++ b/src/Pure/axclass.ML	Mon Jan 07 11:59:37 2013 +0100
@@ -113,7 +113,7 @@
           fold_rev (fn p => if member (op =) params1 p then I else add_param ctxt p)
             params2 params1;
 
-      (*transitive closure of classrels and arity completion is done in Theory.at_begin hook*)
+      (*see Theory.at_begin hook for transitive closure of classrels and arity completion*)
       val proven_classrels' = Symreltab.join (K #1) (proven_classrels1, proven_classrels2);
       val proven_arities' =
         Symtab.join (K (Library.merge (eq_fst op =))) (proven_arities1, proven_arities2);