Talk:Constraint domains and coverage checking
From The Twelf Project
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)