System Description: Twelf — A Meta-Logical Framework for Deductive Systems pfenning_schrmann_1999CADE · 1999