# isabelle_session_info

session_name: HOL-Algebra
sources: fa8343714b5ab7cae93b7bb4158d3793e7b7d1d4
output_heap: d6a17c7ed6b4fd97b165e88eabc3b9ceab224f21
input_heaps:
524230ad8671d20113f24ca2a9fbfc3940636b8b
86cd61c2f9ffb47471cd7778ad347eb380aa3ab4
e4a704a0be839a7bc43ef7b96f4ba55040cafc5d
44edaab1189a9544033568b684509cc162c432ae


