A package for inductive relation de in HOL (0)

by T Melham
Venue:In Archer et al