values

univ: Univ = mk_Univ( {mk_token("MP-I") |-> mk_Course("Met.Porg.I", {mk_token("FunProg") |-> 3, 
                                 mk_token("AlgProg") |-> 2,
                                 mk_token("Other")   |-> 2})},
                      {mk_token("LESI") |-> {mk_token("FormMod") |-> 1,
                                 mk_token("RealCalc")|-> 1,
                                 mk_token("VDM++")   |-> 1,
                                 mk_token("ProgRef") |-> 2
                                }},{mk_token("mary") |-> mk_(mk_token("LESI"), {mk_token("MP-I")  |-> 12, mk_token("MFP-I") |-> 16})},
                      {|->})