twelf - Revision 1901: /branches/twelf-mod/TEST/crary/tslf/sing

• ..
• algorithm.elf
• complete.thm
• constant.elf
• convert-effect.thm
• convert-explicit.thm
• convert-fun.thm
• convert-normal.thm
• convert-reg-il.thm
• convert-reg.thm
• convert-sub.thm
• convert.elf
• correct.thm
• el-inversion.thm
• el.elf
• equality.thm
• eregularity.thm
• esubstitution.thm
• expand.elf
• expand.thm
• explicit-lemmas.thm
• functionality.thm
• il-simp.elf
• il.elf
• ile.elf
• inversion.thm
• nat.elf
• nat.thm
• regularity.thm
• sound.thm
• sources.cfg
• strengthen.thm
• subst-effect.thm
• subst-fun.thm
• substitution.thm
• subtype-lemmas.thm
• subtype.elf
• trans-fun.thm
• trans-reg.thm
• trans-sub.thm
• translate.elf