1
0
forked from GitHub/gf-rgl

questions and transfer in shell state

This commit is contained in:
aarne
2005-11-25 17:40:51 +00:00
parent a2ef232f2f
commit 9e8de44fa9
14 changed files with 110 additions and 22 deletions

View File

@@ -1,6 +1,7 @@
abstract Untensed = Cat ** {
fun
PosCl, NegCl : Cl -> S ;
PosCl, NegCl : Cl -> S ;
PosQCl, NegQCl : QCl -> QS ;
}