# isabelle_session_info

session_name: HOL-ex
sources: 2c8655bcf462c903cca907e71991d8abb8724f04
input_heaps:
24a02e746c61040204a8bb5050040c0249134cdf
94f56250bb4f3fd3f203368dc609dc2dfcebeb97
1e0f3a00b78341e1712801ed0c62b2e5452b2dde
d6a2507806c52e50124d33ef10de9bea4c136f49
68dafb1a4c1c576842cf58c5ad4998256a56ae8a


