From ed599abaa12e4a27b31289af8075f005173f69ea Mon Sep 17 00:00:00 2001
From: Lisa <lisa.dreier@fau.de>
Date: Tue, 27 Apr 2021 10:17:53 +0200
Subject: [PATCH] deleting defi
---
src/abstract/DLexicon.gf | 4 ++--
src/english/DLexiconEng.gf | 2 +-
src/german/DLexiconGer.gf | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/abstract/DLexicon.gf b/src/abstract/DLexicon.gf
index bc697b4..462017c 100644
--- a/src/abstract/DLexicon.gf
+++ b/src/abstract/DLexicon.gf
@@ -4,7 +4,7 @@ abstract DLexicon = mv, arithmetics, sets ** {
integer_MObj : MObj;
set_MObj : MObj;
alphabet_MObj : MObj;
- loop_MObj : MObj;
+ --loop_MObj : MObj;
quasigroup_MObj : MObj;
finite_MObjProp : MObjProp;
@@ -17,5 +17,5 @@ abstract DLexicon = mv, arithmetics, sets ** {
-- newly added for examples:
natural_number_MObj : MObj;
- divisor_MObj : MObj;
+ -- divisor_MObj : MObj;
}
diff --git a/src/english/DLexiconEng.gf b/src/english/DLexiconEng.gf
index c4a4393..49d1cab 100644
--- a/src/english/DLexiconEng.gf
+++ b/src/english/DLexiconEng.gf
@@ -5,7 +5,7 @@ concrete DLexiconEng of DLexicon = mvEng, arithmeticsEng, setsEng ** open Syntax
integer_MObj = mkMObj (mkN "integer");
set_MObj = mkMObj (mkN "set");
alphabet_MObj = mkMObj (mkN "alphabet");
- loop_MObj = mkMObj (mkN "loop");
+ --loop_MObj = mkMObj (mkN "loop");
quasigroup_MObj = mkMObj (mkN "quasigroup");
finite_MObjProp = mkAP (mkA "finite");
diff --git a/src/german/DLexiconGer.gf b/src/german/DLexiconGer.gf
index 7f96e18..3bf40f1 100644
--- a/src/german/DLexiconGer.gf
+++ b/src/german/DLexiconGer.gf
@@ -6,7 +6,7 @@ concrete DLexiconGer of DLexicon = mvGer, arithmeticsGer, setsGer ** open Syntax
set_MObj = mkMObj (ParadigmsGer.mkN "Menge" Fem);
alphabet_MObj = mkMObj (ParadigmsGer.mkN "alphabet");
quasigroup_MObj = mkMObj (ParadigmsGer.mkN "Quasigruppe");
- loop_MObj = mkMObj (ParadigmsGer.mkN "Loop" Fem);
+ --loop_MObj = mkMObj (ParadigmsGer.mkN "Loop" Fem);
finite_MObjProp = mkAP (ParadigmsGer.mkA "endlich");
empty_MObjProp = mkAP (ParadigmsGer.mkA "leer");
--
GitLab