# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: e1316e249972e36cbf48dee9ca1c6c8bea0b87e8
input_heaps:
eec272d4b5b3d582847a197d88eb3a9b19984c82
0dc95062e3492904be2f0dafcca23de748b5d252
014910b1b47bc9f07eca4b34148fbf7c35bd1719


