# isabelle_session_info

session_name: HOL-Nominal
sources: 5e8de8e20d17aff3c5949bd8abb4a7dde430f827
output_heap: f7b18fc45e367de2f7c983e5b4f53d7b76e77919
input_heaps:
37873e0061f17d13c4a85581673448df5586ab38
676afdd0f22cd3ad42a2bd84ac613e2d29a5a368
55e1b8cf1764aaad66ef6fbbc4d3aebb0896a3b2


