Named_Thms is not scalable;
authorwenzelm
Thu Oct 29 16:05:51 2009 +0100 (2009-10-29)
changeset 3330744af0fab4b10
parent 33306 4138ba02b681
child 33308 cf62d1690d04
Named_Thms is not scalable;
src/Pure/Tools/named_thms.ML
     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 =