Structure optionSimps


Source File Identifier index Theory binding index

signature optionSimps =
sig
  val OPTION_ss : simpLib.ssfrag
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13