diff -r 7b3dd407f6b3 -r 51bc795b81fd Nominal/ExCoreHaskell.thy
--- a/Nominal/ExCoreHaskell.thy	Sun Mar 28 22:54:38 2010 +0200
+++ b/Nominal/ExCoreHaskell.thy	Mon Mar 29 00:30:20 2010 +0200
@@ -33,7 +33,8 @@
 | CAll tv::"tvar" "ckind" C::"co"  bind tv in C
 | CEq "co" "co" "co"
 | CSym "co"
-| CCir "co" "co"
+| CCir "co" "co" 
+(* At ??? *)
 | CLeft "co"
 | CRight "co"
 | CSim "co"