# isabelle_session_info

session_name: HOL-Nominal
sources: 07e6344659347dcd3b7ce29ea0a13b4c679e6551
output_heap: 57d68e24af3190fcf43010284e0652f32c5ea2e7
input_heaps:
e47e82ff6a77ecdbb1e7af128c99e9f405606a5a
285b28884f06fd2844d6910e277df4947a17f048
2db38288b646fd598faff0c0fc96e6ba20a7091e


