# isabelle_session_info

session_name: HOL-Nominal
sources: ed406ff5760141b3bb2f9693b3aae4009ee5f973
output_heap: 1b54782c1cc682318ecc61917f46ce6f5c8ba501
input_heaps:
0368d846b91517e6bfc74b22aa4589a14a64f868
42798967e97a29eaa625d2ed2073e7fc3fcc184c
680c999822779f6c5360ad6bcf5fd641b0fc1344


