# HG changeset patch
# User wenzelm
# Date 1002201974 -7200
# Node ID c87d695f4adb639b9f3498227938650823acc1da
# Parent  c67d5ed314173477bcc98f76bd8058589751a484
theory Natural_Numbers;

diff -r c67d5ed31417 -r c87d695f4adb src/FOL/ex/ROOT.ML
--- a/src/FOL/ex/ROOT.ML	Thu Oct 04 15:25:51 2001 +0200
+++ b/src/FOL/ex/ROOT.ML	Thu Oct 04 15:26:14 2001 +0200
@@ -1,13 +1,14 @@
-(*  Title:      FOL/ex/ROOT
+(*  Title:      FOL/ex/ROOT.ML
     ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1992  University of Cambridge
 
-Executes all examples for First-Order Logic. 
+Examples for First-Order Logic. 
 *)
 
 time_use     "intro.ML";
 time_use_thy "Nat";
+time_use_thy "Natural_Numbers";
 time_use     "foundn.ML";
 time_use_thy "Prolog";