# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c00603bd6016c50bc30d8857c36b047b64e61840
output_heap: 242488c57a8c97f2731e03f245e976a2aa8b7415
input_heaps:
ca44b1aafe88a973d88656dba67bfc0ae7f1c9d2
6d1b666fc08cae9ea800895da99c2176361f966d
fdc1926a6a1d4a0f943f3e4a0a3adf6d28dc3481


