# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1291732041 0
# Node ID 0f289a52edbe9dd16926797448d5a5af0d8400af
# Parent  9fa37acdb2ce00a2919e89dcd55f523e5a6c96e8
updated to changes in Isabelle

diff -r 9fa37acdb2ce -r 0f289a52edbe Nominal/Atoms.thy
--- a/Nominal/Atoms.thy	Mon Dec 06 17:11:54 2010 +0000
+++ b/Nominal/Atoms.thy	Tue Dec 07 14:27:21 2010 +0000
@@ -197,7 +197,7 @@
 
 section {* Tests with subtyping and automatic coercions *}
 
-setup Subtyping.setup
+declare [[coercion_enabled]]
 
 atom_decl var1
 atom_decl var2