twelf - Revision 1901: /tags/twelf-poly/exercises/units

• ..
• NOTES
• README
• constants.elf
• eqtype-lemmas.elf
• eqtypes.elf
• equnits-alg.elf
• equnits-sound.elf
• equnits.elf
• eval.elf
• examples.quy
• language.elf
• number.elf
• sources.cfg
• test.cfg
• tp-complete.elf
• tp-inf.elf
• tp-preserve.elf
• tp-rules.elf
• tp-sound.elf
• types.elf
• units.elf
• value.elf