Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to changes in Isabelle
authorChristian Urban <urbanc@in.tum.de>
Tue, 07 Dec 2010 14:27:21 +0000
changeset 2597 0f289a52edbe
parent 2596 9fa37acdb2ce
child 2598 b136721eedb2
updated to changes in Isabelle
Nominal/Atoms.thy file | annotate | diff | comparison | revisions 
--- 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
nominal2