# isabelle_session_info

session_name: HOL-Nominal
sources: dbbda89fa5372b2b38f6e200ab169e9fa246f74e
output_heap: 67bab073c085eb91852f6214e1e56d1a78e92e5a
input_heaps:
774d4d66473cedfcfaef21f8da022a76e69a4390
4339b0bb8d34235034b5063bc60c874a65b8f9a0
f56a589c3b6299c20bdd03a944c56282d8178d68


