# isabelle_session_info

session_name: HOL-Algebra
sources: e879983d22d1134f91547bfc4f4bf4dbcc6ad3b2
output_heap: 8ab4f7cf029cc1243d801147ecf753b2d16c9ff2
input_heaps:
37873e0061f17d13c4a85581673448df5586ab38
676afdd0f22cd3ad42a2bd84ac613e2d29a5a368
55e1b8cf1764aaad66ef6fbbc4d3aebb0896a3b2
cc9c8b3f4729b2a8e88a48bf426b5d1771368213


