# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 23c4d3cb2e736ff0f1fd4ef53a34a1a2b348b4f8
output_heap: 923ddd484db72a868dc8f43dc408c2001134ab90
input_heaps:
ba9703b8d89941ffe014c15e6ddc671ed32d9999
100b23f10739ac1b172eccb60c813bc22e9bd494
5db1b95e54d8648ee14dbbb91802b741cedc9545


