/docs/core-spec/

• ../
• .gitignore
• CoreLint.ott
• CoreSyn.ott
• Makefile
• OpSem.ott
• README
• core-spec.mng
• core-spec.pdf