# isabelle_session_info

session_name: HOL-Algebra
sources: fb8978a7d7125efd0befc885f4d460050a44c969
output_heap: 9cd2afe511df1c43b3a87664ea957ab9fd058a6f
input_heaps:
bae0b426f6b4d4eeda0a51832f133b997c1cf639
7dda90dd71cc7c967ad3e608f75d449b48b28159
63ecdd2358e5ead29d00518899be34a07c82c7eb
c269b3aa2c956aac01e1dc4def111a1ef52b7ac1


