Commit 00281f58 authored by jfschaefer's avatar jfschaefer
Browse files

fix bug in logic generation

parent ee21cca3
......@@ -30,7 +30,7 @@ concrete NGrammarLog of NGrammar = MCatsLog ** {
postf = defi.postf;
};
def_mobj_is_mobj definiendum id definiens = {
pref = "∀" ++ "x0" ++ "." ++ (lwrap(definiens) ++ id.core ++ and_formula(id)) ++ "⇒" ++ "(" ++ lwrap(definiendum) ++ id.core;
pref = "∀" ++ id.core ++ "." ++ (lwrap(definiens) ++ id.core ++ and_formula(id)) ++ "⇒" ++ "(" ++ lwrap(definiendum) ++ id.core;
postf = ")";
};
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment