Isabelle: A Generic Theorem Prover. Springer-Verlag LNCS 828 (1994)

by L Paulson
Venue:In: Proceedings of Workshop on Automation of Proofs by Mathematical Induction