diff -r a44479bde681 -r 017e33849f4d Nominal/Ex/Datatypes.thy
--- a/Nominal/Ex/Datatypes.thy	Tue Mar 22 12:18:30 2016 +0000
+++ b/Nominal/Ex/Datatypes.thy	Thu Apr 19 13:57:17 2018 +0100
@@ -44,7 +44,7 @@
   "p \<bullet> (f::foo) = f"
 
 instance
-apply(default)
+apply(standard)
 apply(simp_all add:  permute_foo_def)
 done