Isabelle: A Generic Theorem (1994)

by Paul Lawrence
Venue:Prover. Springer-Verlag LNCS 828