# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 9b82ea38e3035374cd6cc4b9ebe9fbd863ae69ca
output_heap: 3b4b4317d9175126e83042e8b14a3cad63f66e17
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
2b4187bc161d3676c7ecb02018a49967dc6a5fb4
25b9df82f9955898de3fa6be4e7432b8649fbd60


