# isabelle_session_info

session_name: HOL-Nominal
sources: e01d9161fd31d3a63195b205607eda4ca5b2bbcc
output_heap: 7da0b28261742807a251c47605ce3a26f6f3cd1f
input_heaps:
3d51ec384f4fe0110890543589008d84c8e75ee4
0172210ae3ac6aaa94a4d31e666fffe9e67224e0
39f11093ebddec9c3adef02c7483d3530704eaa0


