# isabelle_session_info

session_name: HOL-Nominal
sources: 03d185d11e8835e612e5bbbb09ab64e10dfdb288
output_heap: 669a3ceb8978ddfef151c77a3a515490b6ba6326
input_heaps:
6450dc2aa913771fa0159410165f3f6e6149c480
a7ce1774be22ca0ed19dbea2c9b9e6e66619b0b5
0267aa22191cb79844d19a5ac3ff215c9b29ad66


