# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 576d60eaaf0d585eb86c426acfda54814c9c69f0
output_heap: fa91322ea8e117c072d0676ae9d06c13b7f80cdf
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
01ad035532cbe486194b1bf219cd96ecfa7467a0


