# isabelle_session_info

session_name: HOL-Algebra
sources: 3f91b5bc4cb1eca895554074e67bc2f0eaa4feb3
output_heap: 3cd217fbad73db1f03c7de4c5cdb906b1f09b5f3
uuid: ec40dae5-a387-4b93-90d9-317305c99a65
input_heaps:
7332888f14d171ca4efac7179f55d54ece2c6bbf
2e67a21ac8031daa43c777a5e17028797e1134d3
a2c5fee50d7c11ca03808a8187a3d8f3dc12a2df
c026f3ff6435b810436630dfee2f72fc50ed9940


