# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f74c77cfa24f048b5d1abd1f58c67fd726a0176b
input_heaps:
f446f03595bcdb30e30624659ca93892e4038ac3
d314e9ddc2049cadadddb9589ed87cff70c95a7e
cfeb17add6dda1e3feaa2447e359cdac203451c8
01b57428745b1c3d2c0d1f3cde91f3ab60bcc8ae


