Twelf User’s Guide: Version 1.4, 2002. Avaiable from http://www.cs.cmu.edu/ ∼ twelf (0)

by Frank Pfenning, Carsten Schúrmann