# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ba304861bd317d3c9c53fe9495b89df889f34b06
input_heaps:
b4ade832c2d8ae0bd9580685adbbf7212199884b
6105b24e2998351bc5036e9603d7810cd4823116
57038d43d78f43e7980e86f4f772659e9c5bd558
2c73f6ceb40bf77af55f85cf4164b3f1dc134944


