# isabelle_session_info

session_name: HOL-ex
sources: 09249f4133fe597b694a0762713bda6f44292e38
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6
e74b8d18e2ee0e40531b2cde3a49dc94e114f93e
e46cc64adc0d754508f480ecf9b0b85290d8ced7
8bd3591b01086576e5e6174861438245ccc1274d


