1
0
forked from GitHub/gf-rgl

restoring full coverage

This commit is contained in:
aarne
2005-11-29 17:45:54 +00:00
parent fa46831981
commit 53895171df
17 changed files with 922 additions and 71 deletions

View File

@@ -1,5 +1,8 @@
abstract Tensed = Cat, Tense ** {
fun
UseCl : Tense -> Ant -> Pol -> Cl -> S ;
UseCl : Tense -> Ant -> Pol -> Cl -> S ;
UseQCl : Tense -> Ant -> Pol -> QCl -> QS ;
UseRCl : Tense -> Ant -> Pol -> RCl -> RS ;
}