# isabelle_session_info

session_name: HOL-Nominal
sources: 236a92f4d21b5ab041396bff5d762edd1a635330
output_heap: 5dfe77c0dd2e3d2a7a1bcd5a0097c889d7f4b4a3
input_heaps:
fa37635535c1a91559f94a7dc9acf81e08caa63c
108107ba6152a8567743bcd769d1dd970013adfa
7e4070d2ba524418af798ee984dfb220aaec7062


