Finnish complete

2006-02-07 18:05:25 +00:00
parent 52dc7d460d
commit 0e4a0f2041
45 changed files with 567 additions and 436 deletions
--- a/lib/prelude/Coordination.gf
+++ b/lib/prelude/Coordination.gf
@@ -120,5 +120,12 @@ oper
    \P,c,x,xs ->
    {s1 = table P {o => x.s ! o ++ c ++ xs.s1 ! o} ; s2 = xs.s2} ; 

+  consrTable2 : (P,Q : Type) -> Str -> {s : P => Q => Str} -> 
+    ListTable2 P Q -> ListTable2 P Q = 
+    \P,Q,c,x,xs ->
+    {s1 = table P {p => table Q {q => x.s ! p ! q ++ c ++ xs.s1 ! p ! q}} ; 
+     s2 = xs.s2
+    } ; 
+

 } ;