# isabelle_session_info

session_name: HOL-Algebra
sources: bf3fcf47bdf5c97ba23b770a24807be5afa2bf23
output_heap: 88fba9d42d20c6cb4d30590d501be67b5b12e636
input_heaps:
87932c6edaedf27de51c877ca7033311a89eb072
7f58193f3d2717fe18681e21843b42a4a2b573aa
a3cd75fa2f445303fecfd31876e09edc3d66ce8b
6dad939260a2eae4be241cd748a8c1201e561910


