Isabelle: A Generic Theorem (1994)

by L C Paulson
Venue:Prover, LNCS 828