# isabelle_session_info

session_name: HOL-Nominal
sources: 19435dab26562cc677bc64fe4d331015d7151d97
output_heap: 614633347d0e165d577388f93510513a9b66b0c5
input_heaps:
b3fb05f5e50942c4dcc807a50dcc11409ab39906
759571dd32091ee0444743824f9c8116972466af
05ad400047d12a8784473c927a47c6142253e609


