Talk:Uniqueness lemma

From The Twelf Project
Jump to: navigation, search

Revisions of this page should account for the fact that the thing we're showing unique doesn't have to be an output (in the %mode sense). Drl 13:18, 9 March 2007 (EST)


I just rewrote the top half of the article to set up some ideas that I needed in the bottom half. Let me know if you have any complaints about the changes. Drl 16:58, 14 March 2007 (EDT)