# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: ccc07e9a62cdb1dc1eb4d6c528919819490da6f9
output_heap: 92e059aea9737af15f7dd7fa3fd660b6fefd7282
input_heaps:
cb3b4b88f86f707d123395dc0f54d7e406fb9231
2f7affaa3f1e641179075b6ed2189143771cd710
d53cbe55e2ad6db93b989010c753f8d3467cd090


