Formalising generalised substitutions (0)

by Jeremy E Dawson
Venue:In Theorem Proving in Higher-Order Logics