# isabelle_session_info

session_name: HOL-Algebra
sources: 4b61c7f7fbf42b21d0445d2e848fa63b0f73a89a
output_heap: 57e95211a2d5ca6dbf9f86b80587d0e691079997
input_heaps:
221bf55cdbeeb204abe001803bef147f0ffeb54c
2d0043d5245b774b6a52bc09a6afbc782402b041
223476067afe6566801165b07929b4c3deeacf6b
afea9e86b5777d940efa1107a48408e24cdebbf8


