# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 603a5b6f926da808f3c83c4574a40b7c95cd7e6e
output_heap: 149f38e2f2855a563fc2f4bde8f85e6f56397d85
input_heaps:
4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0
7cbe2b787552e2377b1e9e19550fddec8825838d
d6adb3dfc99a1f93d012ccd59267e82ebda47fb6


