# isabelle_session_info

session_name: HOL-Nominal
sources: 962c67bd97cd7d7ebf8c372a22959a2f06d0b132
output_heap: da379b139a2f481d6ea28948d33d47fff8dd9a50
input_heaps:
2b741fa2ed8a0e813cd5871c2da862936da19705
9f48442a01b557873bc8bbe04241e035c7b55e33
95f4974c65e4ab5e8a96b646db7d863420f4f2c2


