# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: df6e8abf11dc0985ae10b1baeca65b94b6e482b3
input_heaps:
a52852326379afee2cdf8f94e7105ca039ab9f98
4b399c4375d1ace873a060528c4c23646f4c8a2b
0bc5bc6abe597e017cb6fd19fad429eb4d8def51
6c87b73b8fa63a542070b2184f6e093bd6539918


