# isabelle_session_info

session_name: HOL-Algebra
sources: 6acd1b05a2b52ea9d51b675e0dc6cbd74e6a4d90
output_heap: 71d22906febff56d837b221e35bf68945e9de280
input_heaps:
38b81108fc9bab9389da9086abb8d14ce3c1258f
4f3f3bd10add62b21d7fd4c2710a841329f19b6c
f6537054b04230063cf6c56b0e254d721999edd6
14b7700ecc649bcf34cde00b929d1c71b7cbcaf8


