Structure fcpLib

Source File Identifier index Theory binding index 
signature fcpLib =
sig
    include Abbrev

    val mk_index_type : int -> thm * thm * thm
    val FCP_ss        : simpLib.ssfrag
end
Source File Identifier index Theory binding index

HOL 4,   Kananaskis-3