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