twelf - Revision 1901: /branches/twelf-mod/TEST/crary/mldef-alpha/correct

• ..
• dec-elab.thm
• denouement.thm
• distribute.thm
• elaboration.thm
• expr-elab.thm
• instance.thm
• match-elab.thm
• pat-elab.thm
• resolve.thm
• sigexp-elab.thm
• spec-elab.thm
• strexp-elab.thm
• ty-elab.thm