# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 70561598cb88bbbed229e8db30500638a8b75319
output_heap: 4d2a82bf7f909bde7a1da7a64b00aff1834a9cdc
uuid: 4f7d7e86-3772-44f7-ba83-9f65d3c6b183
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
f38759d1fce3ae187eeffcb386dd6fb5dc5783a4


