# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: f3a8a4aecdc7dae3fbd50a1a60323e8353eebc67
output_heap: e9eb39566dbc885f4be94d8d19b30aa35a2a9f82
input_heaps:
3544b43f6233cac7fa59f57a860ecfae106f5f76
f0c98d261d30ffdb52c0a09fc4e24718add3e116
3256f189b96d41210d733f3ca0eed9ae11a2da8a


