added ExtraFin.AdjAsCN

2016-04-24 08:44:29 +00:00
parent c283f6c849
commit 9dd42f472a
2 changed files with 6 additions and 1 deletions
@@ -265,4 +265,9 @@ concrete ExtraFin of ExtraFinAbs = CatFin **
      } ; 


+  AdjAsCN ap = {
+      s = \\nf => ap.s ! True ! (n2nform nf) ;
+      h = Back ; ---- TODO should be ap.h, which does not exist
+      } ;
+
 }