Talk:Constraint domains and coverage checking

From The Twelf Project
Jump to: navigation, search

This page should start with a definition of what a constraint domain is. (Or else it is a page about constraint domains and metatheorems?))  — Tom 7 13:42, 3 November 2006 (EST)

Yes, you had that thought 15 minutes before but independently of me - I just clicked on the redlink in Tutorials and went crazy. — Rob (and his talk) 13:56, 3 November 2006 (EST)