twelf - Revision 1901: /branches/pwg-module/src/worldcheck

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