# isabelle_session_info

session_name: HOL-Nominal
sources: 0385610b1d2f3460b4cb1eb12a3241d09606cafc
output_heap: e5271dbadaef587101d56cf1134807556883cad7
input_heaps:
5b51a36775445032f763e9aee0002c7eaccf2b7f
35fe7ce9fdc3c090128037489da424d18eb375e8
10f8dc2bad0e0cfd92660b859e706cfa5acd4db8


