# isabelle_session_info

session_name: HOL-ex
sources: ece7f1ef5f0015b8df7d907b19f2204ac0ffcbc9
input_heaps:
f46bcf61c269616a1bc9cb60b8eafeb409f933c6
84c199168b6eb1cc2abc672e3cc17a57ada0e133
1bf98e26074b74a98287e69f6a4b87c89bc11ad3
37c38777fac191b46149fdb10365dd935ec30ef0
e836e10b9ae473d8c8708e525db04971c74112be


