Isabelle : A Generic Theorem Prover. Number 828 in LNCS (1994)

by Lawrence Paulson