# isabelle_session_info

session_name: HOL-Nominal
sources: ef5111ec027ecfb3025c675ec80aad7de8bf317c
output_heap: 55184aafb1a0e31347cdec37c6eaf5f0932b92a4
input_heaps:
e8fcc2dd5748fd19698324fa0db3df7190e3b460
ffd61dc8764cdbb3f006c9e006d2be197a9fcd5a
e2c0274abb44d0efba2bf88a875953b3c1f5eb6f


