# isabelle_session_info

session_name: HOL-Algebra
sources: 581939caf01a7b0eea708ee420893cf8b3cfd12c
output_heap: 9fee6d7a661aab602325615dc90365b358b65e7a
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
34d3d690ab82252f0025f3cfa7c20ee35413706f
990113833cb5e2b44680725cc0a2f56e6a6ded6e


