# isabelle_session_info

session_name: HOL-Nominal
sources: 74212e3dce4002ede46f57fcb7fc35a2d44742d9
output_heap: ff9a7f0b2ba07a175e3badb06e66addbd041e0b8
input_heaps:
3d9723b0e32f4dd4ca515d1d9986e3bdc7a8d762
6a991311a17f5f09eb6bc9927a7c8d56ec4ee3bf
4fe29bf771b13bba1035e30a01231fd033bc0c11


