# isabelle_session_info

session_name: HOL-Nominal
sources: 27bcecc2805d2f12f1eef13bc5082cb7ed7cc571
output_heap: c3b46859b0a4832ab526a2224d951d472371228a
input_heaps:
82279e0e1adf83bb56256dc19b76e613b9ff505e
63876a40702696125354f9af72dc0450e7ebf321
55b5e5a6df082aa55ea3bfc9cc68b710a1940ed2


