# isabelle_session_info

session_name: HOL-Algebra
sources: 36fb7a15c798f4d3530570ace1ca19476f2e70ae
output_heap: b421349326a39853b84789fff96732e49d3c8b8c
input_heaps:
af1e669e0b71dd56bcba24adf3b86252347d5dfd
2069bdbc553872fd9e4a20143262cdd7b09dfec6
8e0843e82de9b2ac5c6064ccc9a0dc0946169aa2
fadbe9a65c40003a78ceb30a5e8bd7ada5324056


