From a25ee154e760a424ef4aef46a6e3d6fdf1079cf1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 15 Sep 2004 14:36:27 +0000
Subject: introducing multiple inheritance

---
 grammars/multiple/MathEng.gf | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 grammars/multiple/MathEng.gf

(limited to 'grammars/multiple/MathEng.gf')

diff --git a/grammars/multiple/MathEng.gf b/grammars/multiple/MathEng.gf
new file mode 100644
index 000000000..9d9bf3414
--- /dev/null
+++ b/grammars/multiple/MathEng.gf
@@ -0,0 +1,5 @@
+concrete MathEng of Math = open Prelude in {
+  lin
+    MkNumber i = i ;
+} ;    
+
-- 
cgit v1.2.3