Inte Vleminckx d00b9c25db Add 'simplified' version of the FTG+PM++ formalism with operational semantics 2 mesiacov pred
..
metamodels d00b9c25db Add 'simplified' version of the FTG+PM++ formalism with operational semantics 2 mesiacov pred