# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c14e2fc4b0012bb4fb2b84def8a78065aa0def29
output_heap: a72dc9a66f6e99422ab9f1624d69f739ea561dee
input_heaps:
6961fec4ded6b3eed849e7567739468922d3c226
1917700418a8a34a23e321dc0267535ca9af6102
8d2b79a1e3cb4b83abd9e5031623af80d16ef760


