src/Pure/Tools/named_thms.ML
changeset 33307 44af0fab4b10
parent 31901 e280491f36b8
child 33453 fe551dc9d4bd
     1.1 --- a/src/Pure/Tools/named_thms.ML	Thu Oct 29 14:57:55 2009 +0100
     1.2 +++ b/src/Pure/Tools/named_thms.ML	Thu Oct 29 16:05:51 2009 +0100
     1.3 @@ -1,7 +1,8 @@
     1.4  (*  Title:      Pure/Tools/named_thms.ML
     1.5      Author:     Makarius
     1.6  
     1.7 -Named collections of theorems in canonical order.
     1.8 +Named collections of theorems in canonical order.  Based on naive data
     1.9 +structures -- not scalable!
    1.10  *)
    1.11  
    1.12  signature NAMED_THMS =