# isabelle_session_info

session_name: HOL-Nominal
sources: 59e4c265337db7567f647a41ed18074dd4eebc32
output_heap: d568db67e630e1df0e6fd3da5da1a50195d99c53
input_heaps:
f0e41e8906fc3822e07e67496b53881453c8efc4
8cdd60cef878eaae282636d39dc13f1b1a7fdd02
92250eaa20372918515a2ab7aeba71bd399d2360


