1(* ========================================================================= *)
2(* FILLING IN "BOOLIFY" ENTRIES IN THE TYPEBASE FOR TYPES BUILT BEFORE LISTS *)
3(* Created by Joe Hurd and Konrad Slind, July 2002                           *)
4(* ========================================================================= *)
5
6signature PreListEncode = sig end
7