Miscellaneous work using gst.
Overview
Introduction
Strong Infinity in HOL
©
© 
©