constr_name1 mostly working
fixed the use of ordsets and assoc - looks like it works when put in the beginning of the file
three initial functions that do formula abstraction - to be continued;
also a function that uses types istead of variables - unfinished;
it seems that I now need to first run (should be fixed - works with swi 5.8.2):
:- use_module(library(ordsets)).
:- use_module(library(assoc)).
mml version updated
commented the use of DCO in load_proper_article - not needed since at least 1103
article position debug output with opt_DBG_ART_POS
updated snow export to be 0-based and to allow standard refnr and symnr filr formats compatible with advisor
fixed num types for MML 5
fixed requirements for MML 5