# isabelle_session_info

session_name: HOL-IMP
sources: 1fb4f306b7d6ddcb4c6bbb2ce5d377fcb561793e
uuid: 6fdf01c9-0f41-4ddc-ac74-24b8deccb0be
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
67311316c7511f2e1668240497faddcffe7e5d8a


