# isabelle_session_info

session_name: HOL-Algebra
sources: ed59dfc20888ab4f4e11235ee3f8dcf254c443c3
output_heap: 4cacc1f1758d623562dcbac7a7f10b458d662df9
input_heaps:
c64ea230285d7909ea4e291e0600b2281f3ec163
59813e7197c2ea57d24442f5882cad1d37e3a900
d45c7088d2de1bb843aafb52938f57f7c4df9015
4290326eb7b90b431bc387ebcd03a35e32b315b5


