88 apply(simp add: equivp[simplified equivp_def])

    88 apply(simp add: equivp[simplified equivp_def])

    89 done

    89 done

    90 

    90 

    91 end

    91 end

    92 

    92 

    93 

    94 

    94 section {* ML setup *}

    95 section {* ML setup *}

    95 

    96 

    96 (* Auxiliary data for the quotient package *)

    97 (* Auxiliary data for the quotient package *)

    97 use "quotient_info.ML"

    98 use "quotient_info.ML"