# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 45e9b8650c82b4f0dc38b56aac133debfecd8945
output_heap: e820b4324cbe599fa66776b053f8b8ecd98853d3
uuid: d39c393d-3098-4992-a267-29551b3362c7
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
44ecb598abe16cbf2327b95701c3f556edf31940


