1 theory Perm

     2 imports 

     3   "../Nominal-General/Nominal2_Base"

     4   "../Nominal-General/Nominal2_Atoms" 

     5   "../Nominal-General/Nominal2_Eqvt" 

     6   "Nominal2_FSet"

     7   "Abs"

     8 uses ("nominal_dt_rawperm.ML")

     9      ("nominal_dt_rawfuns.ML")

    10      ("nominal_dt_alpha.ML")

    11      ("nominal_dt_quot.ML")

    12 begin

    13 

    14 use "nominal_dt_rawperm.ML"

    15 ML {* open Nominal_Dt_RawPerm *}

    16 

    17 use "nominal_dt_rawfuns.ML"

    18 ML {* open Nominal_Dt_RawFuns *}

    19 

    20 use "nominal_dt_alpha.ML"

    21 ML {* open Nominal_Dt_Alpha *}

    22 

    23 use "nominal_dt_quot.ML"

    24 ML {* open Nominal_Dt_Quot *}

    25 

    26 

    27 end