Window inference in isabelle (1995)

by M Staples
Venue:University of Cambridge Computer Laboratory