# isabelle_session_info

session_name: HOL-Algebra
sources: 0f2f9c7caeca87d47af3a1c1e65606ac195fb804
output_heap: e8515f878561fc8c8a0f7b474c0800300bb5d6ee
input_heaps:
c04e1f3fc68c567f1533b0f5b3b34eb18e002e69
2121a2057db2e3eb3a417401cf669cfa7df5de5b
e131cd3f43bfbd9c456d28338c322be42ceb2e19
0102b5731f42c3cef7ff905e83e0c97bde140ee1


