# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c6b42e4942e3a26c7f372729fb0988e8ca5de968
input_heaps:
8828c9bd7d7a39295ad2cff83514a86282d73123
3060999dc13a68f36a127d1e8a4ce3255eb025dd
1030b5239c6bfa13f17f35071a99f589b4ab3bfb


