Meta-logical framework for deductive systems

WWW: http://twelf.org/wiki/Main_Page
