# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 66de30ed55dc20c1b026621b10477491f52055d7
output_heap: 990113833cb5e2b44680725cc0a2f56e6a6ded6e
input_heaps:
b3e898cb94fff8ea5f7388662fbada074058e744
008dcfa32f4577c3f490552fca32d890b18cd151
34d3d690ab82252f0025f3cfa7c20ee35413706f


