# isabelle_session_info

session_name: HOL-Algebra
sources: 057986eb3925ffd90cb1e541c27e4db7b09b9c8d
output_heap: 4ad231c7734c8bac8f2b80e82bfac87b0aef9908
input_heaps:
a17ca0e9fb4e0fceba75bb31fcaebec8075ae426
a9c891922046e0d6b89301822d50b6a5b330d859
14a29712b23011382901d5ff2a7a156fabc2bb33
b25139d1f0f96fa5f7a95593fa29f3d3101a9744


