# HG changeset patch
# User wenzelm
# Date 1186173340 -7200
# Node ID 63cc746667a060b0af9c002655c7c812252d5391
# Parent  255f76dcc16b9e69b743336290f77c6d1848f5f9
reactivated Nominal/Examples/Class.thy;

diff -r 255f76dcc16b -r 63cc746667a0 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Aug 03 22:33:10 2007 +0200
+++ b/src/HOL/IsaMakefile	Fri Aug 03 22:35:40 2007 +0200
@@ -786,7 +786,7 @@
   Nominal/Examples/ROOT.ML \
   Nominal/Examples/CR.thy \
   Nominal/Examples/CR_Takahashi.thy \
-##  Nominal/Examples/Class.thy \
+  Nominal/Examples/Class.thy \
   Nominal/Examples/Compile.thy \
   Nominal/Examples/Fsub.thy \
   Nominal/Examples/Lambda_mu.thy \