# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 00a06c0a886d64c17005e917eba931ad276058b8
input_heaps:
7807f31208a9568bd30608d7be9668a1a8f218a5
80156b25cd81847161b976044fa2b16cc5837cad
d32a278ac349bf4da7f160701da7807f2c161922
3d86800f2b38dc2f1477264baebae11d4cde1878


