*** empty log message ***

This commit is contained in:
peb
2004-04-30 07:17:03 +00:00
parent cbbb6d65c7
commit 181e128230
3 changed files with 19 additions and 0 deletions

View File

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

View File

@@ -0,0 +1,10 @@
concrete MicroCnc of MicroAbs = {
lincat S = {a : {s1:Str ; s2:Str}};
lin vars = {a = variants { {s1="a" ; s2=variants{"b";"c"}} ; {s1="d";s2="e"} }};
}