# isabelle_session_info

session_name: HOL-ex
sources: d73c0f60d8473c0244904cfb901eeea6fc47e71c
input_heaps:
8e91ce9e5c85c38eaca3d5b4d08d643be94fba49
c2699dcdd1b9bcf528d04419d33d44cab576004e
eff6045e7d3c0ca3942075b9a209705f9695ff37
2089b3a463d2a5260d6fbcaf9184068c27107503
608bd63562fa98ebc06c5dab6c8b71329da983d9


