# isabelle_session_info

session_name: HOL-Algebra
sources: 332551e45d9ecbd43eadc090271f271632e268bb
output_heap: 46ab5ec6256fd0023c59b1ab1b66b3f7ce699b61
input_heaps:
ee652d79da3dfe2226e7998ba8d9b6c5b4062632
574a78dd5fb2862f217d3eedf94378929b3d0576
d9d27f4a9884658ce4105eaee8721cbfd59385f2
a759d7b0ec4898d86ae0f794eccfd035aba06516


