# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: ed25db8832301e3501758a8cb7ee12ac0807d5e7
output_heap: f392283740677403257cce30eacded4a056b5874
input_heaps:
0e2ef6726d29bd0dbb6c10a7e2abe2c01e1df97b
7f66bc57e1f2d4e5d98619ec084d0f635cc5380b
42bfcd1776681d4817962077819f59fc376a7405


