# HG changeset patch
# User paulson
# Date 827838073 -3600
# Node ID 44f5255cba9ef9538ef680a2ee24aebb5a294345
# Parent  f9f0145e1c7ed432f99981ce5f76cecf753a7659
Now loads Mutil example

diff -r f9f0145e1c7e -r 44f5255cba9e src/ZF/ex/ROOT.ML
--- a/src/ZF/ex/ROOT.ML	Tue Mar 26 11:58:59 1996 +0100
+++ b/src/ZF/ex/ROOT.ML	Tue Mar 26 12:01:13 1996 +0100
@@ -29,6 +29,7 @@
 
 (** Inductive definitions **)
 time_use_thy "Rmap";            (*mapping a relation over a list*)
+time_use_thy "Mutil";           (*mutilated checkerboard*)
 time_use_thy "PropLog";         (*completeness of propositional logic*)
 (*two Coq examples by Christine Paulin-Mohring*)
 time_use_thy "ListN";