# isabelle_session_info

session_name: HOL-Algebra
sources: f0948f4138986bb08227a1ba4222b38bc8430460
output_heap: 03e3b367a24d73bcbdac22209e9a36c37b54f261
input_heaps:
1e03383fe82b4a32cb7659d421d19498ed052b67
f4d7d4b4a6dce3a1f3342d41a8efd10119d13ae1
0b9b8c5cc5cedff286745c45050810e865dd3729
975777d7eb82724aea89f887762c4a3d7441c35a


