twelf - Revision 1901: /branches/simple-opsem/src/simple

• ..
• README
• simpcomp.fun
• simpcomp.sig
• simpcomp_eta.fun
• simple.sml
• simple_eta.sml
• simpmachine.fun
• simpsyn.fun
• simpsyn.sig
• simpunify.fun
• simpunify.sig
• simpunify_eta.fun
• simpwhnf.fun
• simpwhnf.sig
• simpwhnf_eta.fun
• sources.cm