1 files changed, 7 insertions, 0 deletions
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) ;