a Generic Theorem Prover, volume 828 of LNCS (1994)

by Isabelle