diff options
| author | peb <unknown> | 2005-03-15 10:18:51 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-03-15 10:18:51 +0000 |
| commit | 581ead0a73b09444593cd652c18d514ba4fc8fae (patch) | |
| tree | ac46faacbd2e7c9c71a52695164827fdd6224553 /grammars/testConversions/MicroAbs.gf | |
| parent | 2edae8de54ebbfead80ca94f7b938163c95115fb (diff) | |
"Committed_by_peb"
Diffstat (limited to 'grammars/testConversions/MicroAbs.gf')
| -rw-r--r-- | grammars/testConversions/MicroAbs.gf | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf index 3e2e6c24b..64cada72e 100644 --- a/grammars/testConversions/MicroAbs.gf +++ b/grammars/testConversions/MicroAbs.gf @@ -1,16 +1,10 @@ abstract MicroAbs = { -cat S; V; VV; W; +cat A; fun -sv : V -> S; -vars : VV; -ww : W -> W; -svw : V -> W -> S; +a, ab : A; +redup : A -> A; -supr : V -> V -> S; -supredup : S -> S -> S; -suplbl : V -> S; -reorder : V -> V -> V; } |