1 quick_and_dirty := true;

     1 quick_and_dirty := true;

     2 

     2 

     3 no_document use_thys

    11 no_document use_thys

     4    ["Nominal2_Base",

    12    ["Nominal2_Base",

     5     "Nominal2_Eqvt",

    13     "Nominal2_Eqvt",

     6     "Nominal2_Atoms",

    14     "Nominal2_Atoms",

     7     "Nominal2_Supp",

    15     "Nominal2_Supp",

    15     "Term7",

    23     "Term7",

    16     "Term8",

    24     "Term8",

    17     "Term9",

    25     "Term9",

    18     "TySch",

    26     "TySch",

    19     "LFex"];

    27     "LFex"];