Structure Parmap


Source File Identifier index Theory binding index

signature Parmap =
sig

  val parmap : ('a -> 'b) -> 'a list -> 'b list

end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1