# isabelle_session_info

session_name: HOL-ex
sources: 611262c9184122c1cd0497390d203b8e4c09cb69
uuid: 9050f5f2-0d6b-4d55-a6fb-97a5e62369b3
input_heaps:
2e4658671229f9274cfe02e0d36cff0126e3a110
b07d47266a283eadfc0a5330e0f2b1f156abc81c
7b7d3beb569ccf98e2ad20a11585a610eb4c0c4f
824aed50ce29c3e2891bb95c8344822e90439a98
2247d8044b26d0b11f8a72f16c41c2797616588d


