# isabelle_session_info

session_name: HOL-Algebra
sources: c8a63570f40cd91497eaa7bb5beb4c317f678e56
output_heap: 6654b5a88bd7d7175be8d8367fc8319eee68dc12
input_heaps:
d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7
2d7fc4c8c99ec0195cfe8a002fcff890125c4fc2
27db0e64b3b356786ce1b65e6f736a32c6b5e500
6d63379917e16720a7373f846994a6df264b3344


