Structure SatisfySimps


Source File Identifier index Theory binding index

signature SatisfySimps =
sig
     val SATISFY_REDUCER : Traverse.reducer;
     val SATISFY_ss      : simpLib.ssfrag
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13