From c0de7a0627c9c20267a3312055ea7da683632d20 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Fri, 18 Dec 2009 11:08:39 +0000
Subject: mathtext examples from Bonn

---
 examples/mathtext/LexLogic.gf | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 examples/mathtext/LexLogic.gf

(limited to 'examples/mathtext/LexLogic.gf')

diff --git a/examples/mathtext/LexLogic.gf b/examples/mathtext/LexLogic.gf
new file mode 100644
index 000000000..c80ff27bc
--- /dev/null
+++ b/examples/mathtext/LexLogic.gf
@@ -0,0 +1,20 @@
+interface LexLogic = open Syntax, Prelude in {
+
+oper
+  case_N : N ; -- it is not the case that
+  such_A : A ; -- number such that 
+  by_Prep : Prep ; -- by Thm 5
+  all_Det : Det ; -- the article with "all"
+  axiom_N : N ;
+  theorem_N : N ;
+  definition_N : N ;
+  define_V3 : V3 ;  -- we define a as b
+  define_V2V : V2V ;  -- we define x to be f if p
+  iff_Subj : Subj ; -- if and only if
+oper
+  indef : Bool -> CN -> NP = \b -> case b of {
+    True => mkNP aPl_Det ;
+    False => mkNP aSg_Det
+    } ;
+
+}
-- 
cgit v1.2.3