# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: a1016b94860b84a12b7746a611eb85b33948448c
output_heap: 43a2669c8da8a9587d79b7b1a7631f1eb638a9f9
input_heaps:
f773f64b5324612793822c6b9168a199158bbc25
919d4d74d5325321cbb68f9d83a169ecec0e086e
b4d77f62759e3afff6f1ba3babead3c892f3048d


