replaced "All" by "all" in ThmdbFUN's ignore parameter

--- a/src/Pure/Thy/ROOT.ML	Mon May 29 13:55:06 1995 +0200
+++ b/src/Pure/Thy/ROOT.ML	Mon May 29 14:12:48 1995 +0200
@@ -27,7 +27,7 @@
 fun init_thy_reader () =
   use_string
    ["structure ThmDB = \
-    \ThmdbFUN(val ignore = [\"Trueprop\",\"All\",\"==>\",\"==\"]);",
+    \ThmdbFUN(val ignore = [\"Trueprop\",\"all\",\"==>\",\"==\"]);",
     "structure Readthy = ReadthyFUN(structure ThySyn = ThySyn \
                                    \and ThmDB = ThmDB);",
     "open Readthy ThmDB;"];