relatives

This commit is contained in:
aarne
2005-11-29 09:43:20 +00:00
parent 930b5fd194
commit 5a1ce37e1c
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 ;
}