From 7716f818869971da138cf706c124a6be73bbab62 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Wed, 2 Jun 2004 11:17:15 +0000
Subject: *** empty log message ***

---
 grammars/testConversions/MicroAbs.gf | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'grammars/testConversions/MicroAbs.gf')

diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf
index 44a3a0982..3e2e6c24b 100644
--- a/grammars/testConversions/MicroAbs.gf
+++ b/grammars/testConversions/MicroAbs.gf
@@ -1,8 +1,16 @@
 
 abstract MicroAbs = {
 
-cat S;
+cat S; V; VV; W;
 
-fun vars : S;
+fun 
+sv : V -> S;
+vars : VV;
+ww : W -> W;
+svw : V -> W -> S;
 
+supr : V -> V -> S;
+supredup : S -> S -> S;
+suplbl : V -> S;
+reorder : V -> V -> V;
 }
-- 
cgit v1.2.3