Structure state_monadLib


Source File Identifier index Theory binding index

signature state_monadLib =
sig
  val add_state_monad_compset : computeLib.compset -> unit
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14