# isabelle_session_info

session_name: HOL-Nominal
sources: 5bf1b575401f790f50870423e30ddb6a49121823
output_heap: 8e4f8d41ba1287858ea0c270d789a36e741dae28
input_heaps:
94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c
2feb435dc45c22ba19ecfa070808cd954dbee802
abc19200663f461245bbb072515b86a213f74ed1


