src/HOL/ex/ROOT.ML
changeset 44276 fe769a0fcc96
parent 44145 24bb6b4e873f
child 44962 5554ed48b13f
     1.1 --- a/src/HOL/ex/ROOT.ML	Thu Aug 18 16:52:19 2011 +0900
     1.2 +++ b/src/HOL/ex/ROOT.ML	Thu Aug 18 13:10:24 2011 +0200
     1.3 @@ -48,7 +48,7 @@
     1.4    "Primrec",
     1.5    "Tarski",
     1.6    "Classical",
     1.7 -  "set",
     1.8 +  "Set_Theory",
     1.9    "Meson_Test",
    1.10    "Termination",
    1.11    "Coherent",