# isabelle_session_info

session_name: HOL-Algebra
sources: 620d73534647ebfcc17fb28f3618ab0a35592374
output_heap: 2aa5211e633b4b620fdee5eaeece85415ff2daeb
uuid: b77cbad6-0043-44ef-ad15-7b4f698068a4
input_heaps:
9f756a51bf34e1b2803926b818ad28454650efdb
6f8c06347605fafc9c3e2a708367e9d073c12b69
7a1d88efab84579e87bc510c25ca93ea0a0c6cf9
1de3ca7c1ecbb460e901ea69bf61a102886d65b9


