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

by Frank