# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a4d2323f1a102eb19109ae2369f1c3f90ca04355
output_heap: 4465bf0d6a520fe2324dd30c55d14a4e52f4c17c
uuid: 269cd67d-4fff-47b5-8cbc-58a599ab06c3
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd


