# isabelle_session_info

session_name: HOL-Algebra
sources: d078e64c07d2139b085cb7e9bf365eef0d0b9bb3
output_heap: 65f6937bfa64b869dfe0d4ac5f8dee2fa61fc3ae
input_heaps:
84c5f150ebc72cf821b3b4678a9a616134620443
4c1d272de29b5e01aee8aaf8f3867a1586e98acb
7485ba66cb2d677b756a18791b402cb297305641
d1b493d865082ca28f3d6abf9aa0e9e2d3f25adb


