Talk:Meta-logic

From The Twelf Project
Jump to: navigation, search

Relational metatheory redlink

Does anyone think we need the redlink for relational metatheory? I removed the link, because I wasn't clear what it was going for. — Rob (and his talk) 16:53, 29 December 2006 (EST)