Structure PreListEncode


Source File Identifier index Theory binding index

(* ========================================================================= *)
(* FILLING IN "BOOLIFY" ENTRIES IN THE TYPEBASE FOR TYPES BUILT BEFORE LISTS *)
(* Created by Joe Hurd and Konrad Slind, July 2002                           *)
(* ========================================================================= *)

signature PreListEncode = sig end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14