twelf - Revision 1901: /tags/twelf-1-3R6/src/worldcheck

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