Proving metatheorems talk:Simply typed LF
From The Twelf Project
[z/y]y = _z_ in the last statement of hereditary substitution?
- Yes, thanks for the catch! Drl 11:26, 18 April 2007 (EDT)
Personal tools
- This page was last modified on 18 April 2007, at 10:26.
- This page has been accessed 373 times.
- Content is available under The MIT License (unless a tag indicates otherwise).
- Download Twelf
- About The Twelf Project
- Disclaimers