# isabelle_session_info

session_name: HOL-ex
sources: 25a1729ab646cde0ba91516195b737867e94bfd8
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
926772a406bf7c0c3f1e5757aad104330ccc638f
600d4d4039b3cde077a08902e197559574366fad
f24836f7722741344f96bf7e38788548570172a3


