From 581ead0a73b09444593cd652c18d514ba4fc8fae Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Tue, 15 Mar 2005 10:18:51 +0000
Subject: "Committed_by_peb"

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

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

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;
 }
-- 
cgit v1.2.3