author | boehmes |
Tue, 07 Dec 2010 14:54:31 +0100 | |
changeset 41061 | 492f8fd35fc0 |
parent 40239 | c4336e45f199 |
child 41306 | 95449e4b4bf6 |
permissions | -rw-r--r-- |
(* Title: FOL/ex/ROOT.ML Examples for First-Order Logic. *) 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" ]; (*regression test for locales -- sets several global flags!*) no_document use_thy "Locale_Test/Locale_Test";