elpinal/twelf-proofs

Proofs for type systems and logical systems in Twelf