Structure Nonce


Source File Identifier index Theory binding index

signature Nonce =
sig

  eqtype 'a t
  val mk : 'a -> 'a t
  val dest : 'a t -> 'a

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14