# isabelle_session_info

session_name: HOL-Nominal
sources: 74eb608a0b88860e74de7860059791b70e0b972d
output_heap: 1aa6bca84de2b4e4b846e31a34bacbcf43f5b659
input_heaps:
19435e7761b5bfa7535ecc583694b3b77ac13312
d3b6a50d191a438eef0407441b81032b5f20e8d6
439efb9bd79cd758d1f5fdd494383e759b5f1184


