rearranging resource-1.0

This commit is contained in:
aarne
2005-12-01 21:18:42 +00:00
parent c3756fddd1
commit 3400486b5e
69 changed files with 2 additions and 2 deletions

View File

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