# isabelle_session_info

session_name: HOL-Algebra
sources: b2d32fb0b8b5f41e41b8523675c2c8d2133722d6
output_heap: b815f35d7c4353894c2f4d14d1068ece3395927c
input_heaps:
7808597da192bbcb2ebaa3cac06e97230741c431
57dbdeff4c4bd5f38c22f403ad7e18117e3c10dc
3719effb448dfa161c85d1587ca2f50530346e57
60d15e155de1b89a46d36c0257aadbc065efbbbc


