From 6248b4a1c79015f2fee994d61240b22fc2ed151e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 28 Feb 2007 15:49:13 +0000
Subject: model for resource

---
 examples/model/MathEng.gf | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 examples/model/MathEng.gf

(limited to 'examples/model/MathEng.gf')

diff --git a/examples/model/MathEng.gf b/examples/model/MathEng.gf
new file mode 100644
index 000000000..fcba8851b
--- /dev/null
+++ b/examples/model/MathEng.gf
@@ -0,0 +1,7 @@
+--# -path=.:api:present:prelude:mathematical
+
+concrete MathEng of Math = MathI with
+  (Grammar = GrammarEng), 
+  (Combinators = CombinatorsEng), 
+  (Predication = PredicationEng), 
+  (Lex = LexEng) ;
-- 
cgit v1.2.3