# isabelle_session_info

session_name: HOL-Nominal
sources: 33bb7b2dc5acec0f400cdcb6cc3140f0136f7c6a
output_heap: 9c9310ce41f79b952e076ce8371cef0f5ee8bb6b
input_heaps:
bc95bd5c6f2da7dd6262f49bd6651dd4204f0586
4239523bb0c0e95a4fca4d2183dc9a094821a175
8983cd18d4455c135169e90b49a36d99775b475a


