src/FOL/ROOT

--- a/src/FOL/ROOT	Sat Dec 26 16:10:00 2015 +0100
+++ b/src/FOL/ROOT	Sat Dec 26 19:27:46 2015 +0100
@@ -25,7 +25,6 @@
     Examples for First-Order Logic.
   *}
   theories
-    First_Order_Logic
     Natural_Numbers
     Intro
     Nat