# HG changeset patch
# User wenzelm
# Date 1256828751 -3600
# Node ID 44af0fab4b10060e5d6898b92561cca8fb0014eb
# Parent  4138ba02b6816113c7a92f0cc80f25422b0f5650
Named_Thms is not scalable;

diff -r 4138ba02b681 -r 44af0fab4b10 src/Pure/Tools/named_thms.ML
--- a/src/Pure/Tools/named_thms.ML	Thu Oct 29 14:57:55 2009 +0100
+++ b/src/Pure/Tools/named_thms.ML	Thu Oct 29 16:05:51 2009 +0100
@@ -1,7 +1,8 @@
 (*  Title:      Pure/Tools/named_thms.ML
     Author:     Makarius
 
-Named collections of theorems in canonical order.
+Named collections of theorems in canonical order.  Based on naive data
+structures -- not scalable!
 *)
 
 signature NAMED_THMS =