LG: handle functions, sorts and definitions and equivalence in "extendStructure"
Issue #690
new
No description provided.
Comments (1)
-
reporter - Log in to comment
removed warnings, see #690
→ <<cset 9733f7cfb4bc>>