# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a910db10d435df8fdef219603664e589c713d7a0
output_heap: 9bdf2b77ce63bcb84477867ac753cbf7e7e41199
input_heaps:
99ecf617d9791e97e2694500834b58fe8bc0930e
fb68b0842b63fdebe460681283f3a90a587f7212
f82c788cc91c200dde26fa1d14e388cb48b88d4a


