# isabelle_session_info

session_name: HOL-Algebra
sources: d1097f46d14f6598a75d5875bc609eb31b86617f
output_heap: 9e684738a12fdfd28609b8b95f6da71b13a3d966
input_heaps:
7550c920b2cc9944a8020bbe3af6b1258b7cd4a3
0dc49aec3e6c5b3bfd95bfc9315d5a2b5d8f359f
27d9d6c7462edf67ad4b309fcda8a163b77926fc
bd55c77a41ed5fad5e6fdaa7789ccb1a7068ad3d


