# isabelle_session_info

session_name: HOL-ex
sources: 5a642067793cfa986c9990d3906b4e71dc9619af
uuid: 894bc575-0c9d-4b1c-a1b3-4f7728c2de2e
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
82162a8631e7af18f84939893d8bd4408c8a1cc0
1d27a23657348ec6058700e8653a9eaa6ecad18c
962428673458d98953ea57da40a9093ba6286dff


