Added predefAbs

This commit is contained in:
aarne committed 2003-11-25 06:38:43 +00:00
1 parent 42c4ef025c
commit 6705780cc2
1 file changed
+4
+4
View File
@@ -0,0 +1,4 @@
abstract PredefAbs = {
cat Int ; String ;
} ;