# isabelle_session_info

session_name: HOL-Nominal
sources: 734467414ba7b80aaa2d7ada4e6cd914b1e3cad5
output_heap: e1124e3cf1a783328c35e417abb1ff85e8dca2b2
input_heaps:
357b42ac3beabedec26b51d2656ba583cf1eab4b
15d85692b7f1786c47e0baf09991f065726d2b19
1f9439498da2d8aca404011524b8312a5bdc159e


