Window inference in isabelle (1995)

by Mark Staples
Venue:University of Cambridge Computer Laboratory
Citations:5 - 2 self