15.4.49  src/app/makelib/compilable/thawedlib-tome-set.pkg

## thawedlib-tome-set.pkg

# Compiled by:
#     src/app/makelib/makelib.sublib


# Sets of thawedlib_tome::info items.
#   Uses Lib7 library implementation of binary sets.



package thawedlib_tome_set
    =
    set_g (                                             # set_g                 is from   src/app/makelib/stuff/set-g.pkg
        #
        thawedlib_tome                                  # thawedlib_tome        is from   src/app/makelib/compilable/thawedlib-tome.pkg
    );



## (C) 1999 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.