K 10
svn:author
V 5
edwin
K 8
svn:date
V 27
2005-11-26T12:49:47.000000Z
K 7
svn:log
V 359
New port: lang/twelf A meta-logical framework for deductive systems

	The Twelf implementation comprises
	 * the LF logical framework, including type reconstruction;
	 * the Elf constraint logic programming language;
	 * an inductive meta-theorem prover for LF;
	 * and an Emacs interface.

PR:		ports/84625
Submitted by:	"Andrew Bernard" <andrew@hobnob.com>

END