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-13