Isabelle: A Generic Theorem Prover, volume 828 (0)

by Lawrence C Paulson