# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c14e2fc4b0012bb4fb2b84def8a78065aa0def29
output_heap: ac976cc1ab84f84e0d8f4f5fc9aa8713f070f539
input_heaps:
695ca0c98695eb47932bf8888d4687b4ae9fbc07
b720e9ced5bfe31a4d11068fed553167efdd58b1
bc573c580f6cf52e30c8d6bb98a2b86ff57487eb


