# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 58b2f183e01bc17c2f5782c012770bee65acd401
output_heap: 5ced14dafd7f25b32b9dbd8e644fbc1132f8669b
input_heaps:
9ea718305cd1fd52d6423d9576c9d8a397701153
78fa00d6c63010d9371bd27168edaa8f7fa59ce9
59cfb0ec4a6a8913a53690c9a32309310a613657


