# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: be07932b0ee27157dcdeaab952a0f3e396e79778
output_heap: 6f4e257a2f5777bbad4a8adf13f3f1ca9dca4ba4
uuid: 0fffe8b7-911e-4259-b956-34f29f0cb62c
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
e4b4c04137d4034ae233dadccbd972e0005cd9db


