# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: b7d4c26de3934f493186449daebbad6f168e14ad
output_heap: e7d2699b6a515417f8ddc758150f06626055bc7b
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
9f975acad972b699f03fe810ec4b42636972fe41


