# isabelle_session_info

session_name: HOL-ex
sources: 3df5e7e08d485b03897dc569f7258309a17e4872
input_heaps:
99ecf617d9791e97e2694500834b58fe8bc0930e
fb68b0842b63fdebe460681283f3a90a587f7212
f82c788cc91c200dde26fa1d14e388cb48b88d4a
9bdf2b77ce63bcb84477867ac753cbf7e7e41199
3c5a92e7d97febec23720e6fa85502b229d00d3f


