Isabelle: A Generic Theorem (1994)

by L Paulson
Venue:Prover, LNCS 828