# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: eff283f0323398d1c36ed0f2127d8b137da7bddd
output_heap: 16fb43e68e0af64cbb4f35478d28e31e1edb6d4b
uuid: 516c832a-7f3e-4972-9808-7c5bfaa249f7
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
be15db7cf5921b29cf780d4a08d94f2e26a813a2


