1
0
forked from GitHub/gf-rgl

relatives

This commit is contained in:
aarne
2005-11-29 09:43:20 +00:00
parent 02415e351a
commit fc495062fe
17 changed files with 113 additions and 21 deletions

View File

@@ -3,5 +3,6 @@ abstract Untensed = Cat ** {
fun
PosCl, NegCl : Cl -> S ;
PosQCl, NegQCl : QCl -> QS ;
PosRCl, NegRCl : RCl -> RS ;
}