twelf - Revision 1901: /branches/twelf-lfr/src/refinements

• ..
• intset.sml
• refinements.sig
• refinements.sml
• sortcheck.sig
• sortcheck.sml
• sortrecon.sml
• sorts.sig
• sorts.sml
• sources.cm
• subsort.sig
• subsort.sml