# isabelle_session_info

session_name: HOL-Nominal
sources: 64a6fb0b18da4ea6f63d8d563ac2a987e42cd915
output_heap: 5e412274b6f427bea328fff4de4dbdbbded93d7d
input_heaps:
80ccdbdf883f78417e58a6fe9077611957b4c9ec
4a724b2f7f58518ca013d3dea386ca861d7ad01e
b47c0da2740d0e619c7c8baad70553ddea4d23eb


