1structure Keepers = struct 2(*---------------------------------------------------------------------------*) 3(* A list of the signatures that we think users will not be interested in. *) 4(*---------------------------------------------------------------------------*) 5 6val exclude = 7 [ "MLY_base.sig", "DiskFiles.grm.sig", "holindex.grm.sig", 8 "holindex.sig", "HOLsexp.grm.sig" ] 9 10end 11