# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 542500565c65a0da6009d62256212f4382c45c6f
output_heap: 35c09773673cdf574411a9288e5ee092818b752b
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
bab23913bc1ced9b6f8f72e060cf9fe98000c983
49620e465436007702fa5fe3fe9112d82a292eb2


