deleting defi

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;
 }

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");

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");