Isabelle's object-logics (1997)

by Lawrence C Paulson