# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 442bdbbf88650d3b489d47cb1caa37c6c0c72e03
input_heaps:
24a38c72ee89e95ca4340bf3149b8301de12b264
ffa32f7831827e888dad40b899438fb418edd108
6f73f5b45ae3c004aa2e6a7d3a214ce35eb30b63
77b4d749a209ae6b1fd64a9e705e163f0b765ca6


