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/MathFre.gf | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 examples/model/MathFre.gf

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

diff --git a/examples/model/MathFre.gf b/examples/model/MathFre.gf
new file mode 100644
index 000000000..87575ba06
--- /dev/null
+++ b/examples/model/MathFre.gf
@@ -0,0 +1,7 @@
+--# -path=.:api:present:prelude:mathematical
+
+concrete MathFre of Math = MathI with
+  (Grammar = GrammarFre), 
+  (Combinators = CombinatorsFre), 
+  (Predication = PredicationFre), 
+  (Lex = LexFre) ;
-- 
cgit v1.2.3