twelf - Revision 1901: /branches/twelf-hlf/src/worldcheck

• ..
• README
• TODO
• sources.cm
• worldcheck.sml
• worldify.fun
• worldify.sig
• worldsyn.fun
• worldsyn.sig