# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: e8eb5106329f0314cd57f883cc3960d342ee4773
output_heap: 2b27d391e9a4a55b0ac69418686a3dae9ae0c2d3
uuid: 29541021-cca9-4f5d-9b13-19d1fc70ab20
input_heaps:
25053daef14bdf81b40a55488fbd8aed7b8017ad
2c6045dd5185bb7b47ef2de7fbe1577fe4833350
03aa0939e8a48a55bf99a31f54ae46cb6b5be497


