# isabelle_session_info

session_name: HOL-Nominal
sources: 56a456fe60e18a38e388151de0acf29d4bfd2371
output_heap: bca3c3591b64a9a1d886426667424492815bfcbc
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04


