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