# isabelle_session_info

session_name: HOL-ex
sources: 867fe8868d4c974fa82ae064384e8a1d2baa2c5c
input_heaps:
60a148b45ba9a77d08275bcbed1a4e03ca2f42ac
32022e6d944834e4e8205d5bf1712d14f3818068
10c55a02344b6fec76eb7599b497a94f63386c72
9be956166fcc0ec4794a49fd84a32e8147f5c90d
548180c1e679bc4baa9a9044489f80a637422439


