*** empty log message ***

This commit is contained in:
peb
2004-04-30 07:17:03 +00:00
parent 2c3c97d7f5
commit 92b13296c6
3 changed files with 19 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
abstract MicroAbs = {
cat S;
fun vars : S;
}