# isabelle_session_info

session_name: HOL-Algebra
sources: 6fcb0d85e40cbc6edaf2e02fda5b60b748b50df3
output_heap: 2fda30584c6eb1734c99e4a35681ae1cc2d21830
input_heaps:
f410984a54e8ba069c9e13dd4899d9aafe342178
8aa4aaaf92552fb4ece64319d36b5e8dd169beee
164c3b2e5fe8f7546e65ef4a19a1d835a23aec15
e2f8d13e0cb526c23cca23fdb46b3da171c077cf


