# HG changeset patch
# User paulson
# Date 914860404 -3600
# Node ID 6a9dc67d48f57f66afa4cccc2b646917ab71a5a7
# Parent  e0f9d930e9562d91bd8ffa331a4eee612bebc67e
fixed comment

diff -r e0f9d930e956 -r 6a9dc67d48f5 src/ZF/ex/ROOT.ML
--- a/src/ZF/ex/ROOT.ML	Mon Dec 28 16:52:51 1998 +0100
+++ b/src/ZF/ex/ROOT.ML	Mon Dec 28 16:53:24 1998 +0100
@@ -28,7 +28,7 @@
 
 (** Inductive definitions **)
 time_use_thy "Rmap";            (*mapping a relation over a list*)
-time_use_thy "Mutil";           (*mutilated checkerboard*)
+time_use_thy "Mutil";           (*mutilated chess board*)
 time_use_thy "PropLog";         (*completeness of propositional logic*)
 (*two Coq examples by Christine Paulin-Mohring*)
 time_use_thy "ListN";