# isabelle_session_info

session_name: HOL-Nominal
sources: 332bcb29254544a20704b8e8f58042cd7ee41702
output_heap: 37b5086f27bd715255d263f9f91be1a66c317981
input_heaps:
766424c7446fcf0389ad970d2db1fd930834a7a7
5898bb85c565239de53bfad464dfae5b8b608cf4
80c7d778390a22950535bf04609279986b870430


