# isabelle_session_info

session_name: HOL-Algebra
sources: d7cb5918f3d832d7c093887bde0307df7e8570fa
output_heap: b6f6da5b49c7431a5901e971116c7340e130e45e
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
b65ab027311c69044c4ea978b04fec953edd36a0
72fa036d0eae04f605be92ed0740d083d168190b


