src/FOL/ex/ROOT.ML

new Metis version

+
−use_thys [
+
−  "First_Order_Logic",
+
−  "Natural_Numbers",
+
−  "Intro",
+
−  "Nat",
+
−  "Nat_Class",
+
−  "Foundation",
+
−  "Prolog",
+
−  "Intuitionistic",
+
−  "Propositional_Int",
+
−  "Quantifiers_Int",
+
−  "Classical",
+
−  "Propositional_Cla",
+
−  "Quantifiers_Cla",
+
−  "Miniscope",
+
−  "If"
+
−];
+
−
+
−no_document use_thy "Locale_Test/Locale_Test";