diff --git a/src/abstract/DLexicon.gf b/src/abstract/DLexicon.gf index bc697b43f28a93b9079a61e8c8b111aaaac73dd4..462017c1af949450699956e36ebd7fa822502287 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 c4a4393eff99d6a2c6788c104da83e5212bc3b41..49d1cab07684776014295549602923be2375b167 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 7f96e181490f5fb56a41e310b7accac854ce5b0f..3bf40f12d284c3b082766b7e5de081bb371d3112 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");