Structure Encode


Source File Identifier index Theory binding index

(* ========================================================================= *)
(* AUTOMATIC GENERATION OF ENCODING FUNCTIONS FOR DATATYPES.                 *)
(* Created by Joe Hurd, July 2002                                            *)
(* Basically the same as Konrad Slind's code to generate size functions      *)
(* ========================================================================= *)

signature Encode = sig end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14