extending proto resource API

This commit is contained in:
aarne
2005-11-23 21:38:11 +00:00
parent ecb0613ec5
commit 2700fc1360
21 changed files with 358 additions and 101 deletions

View File

@@ -0,0 +1,6 @@
abstract Untensed = Cat ** {
fun
PosCl, NegCl : Cl -> S ;
}