author | wenzelm |
Mon, 16 Feb 2009 20:15:40 +0100 | |
changeset 29752 | ad4e3a577fd3 |
parent 29357 | 11956fa598b7 |
child 37134 | 29bd6c2ffba8 |
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", "Iff_Oracle" ]; (*regression test for locales -- sets several global flags!*) no_document use_thy "LocaleTest";