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";