src/ZF/ex/ROOT.ML
changeset 6045 6a9dc67d48f5
parent 5533 bce36a019b03
child 6349 f7750d816c21
--- 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";