# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0dde668455cb62e74678ccb7626326535dec8752
input_heaps:
d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7
2d7fc4c8c99ec0195cfe8a002fcff890125c4fc2
47f120b1cd52816691cd6b6dfbe6a35ba267cd22


