Module LangProps

Require Export CminorLang CminorWD.
Require Export AsmLang AsmWD AsmDET.
Require Export SpecLang SpecLangWDDET.
Generated by coq2html