# isabelle_session_info

session_name: HOL-Algebra
sources: 67efb6dce68f8104d2cf1e9c79b796f23984254d
output_heap: a54a16b44081096e6dd4b16a8e8849a9a4704c97
input_heaps:
d1779d2ddc889cb6287b2680129b97571dba74da
6b61682130070f87aca58ebeac1f36c985eef21f
5d445d44ac3647af37c7d41288c3b5c2fb2fadc4
6e01e57862439e0265c61a991ac286fa940e62b5


