Window inference in Isabelle (1995)

by M Staples
Venue:University of Cambridge Computer Laboratory