Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/ExCoreHaskell.thy
changeset 1687 51bc795b81fd
parent 1667 2922b04d9545
child 1688 0b2535a72fd0 
--- 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"
nominal2