# isabelle_session_info

session_name: HOL-Nominal
sources: 24f67b8ec108533a66116a997817e39314f35d47
output_heap: fc3815c6a24e3b0e3a5ca285bc7052e8f33bb85d
input_heaps:
e216e8eaf6a375ec18ca24b2ce78310b303039d8
9fe695dd2fac74756be62bf1a9c01ff965a54e63
04a2bc7cfa07d840d648901c142a1b52d29d9296


