1
0
forked from GitHub/gf-rgl

rearranging resource-1.0

This commit is contained in:
aarne
2005-12-01 21:18:42 +00:00
parent 71504b94b0
commit 8d8d8f6b96
68 changed files with 0 additions and 0 deletions

View File

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