# isabelle_session_info

session_name: HOL-Algebra
sources: a8d62f65c100cc512b5c8ccb6b244340e6da5bb3
output_heap: 516e683b27d3b642a352dbf71b7d8a875fe0c7b4
uuid: 0fd8e71b-0621-4ae9-93d4-2694b8c01f15
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
3c19ac5803b7e34cf46729d33d06863a37704171
cc09bcfd49c38275f48e9741242ee250381b268a


