# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a78e07be5d6526c5a10df33dab7f88ed81e40064
output_heap: 31c2b22aa100e2ce55c25af4a5330302de88166f
input_heaps:
b32ac976cdb9d7611cecd21164b5d37d166a70f2
7833fe06054d8c848d36bd9abf4e4e615831aef4
2028385119fafb7bac5001679cf939790c300aad


