# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f63f85190a376ce86e4eb7e0178292352f9ce1ed
input_heaps:
26147ae01ad4ddf2dc55f2d4dbbaaf16f7824ec1
1252048e236c2e2b9eff3f4d296c1d4ba90a5b58
7283fdebd59051fbc639fba5bad98c54911704c0


