Twelf User’s Guide, Version 1.4, 2002. Available electronically at http://www.cs.cmu.edu/~twelf (0)

by Frank Pfenning, Carsten Schürmann