# isabelle_session_info

session_name: HOL-Algebra
sources: e90de72c128239c8c2e12765416458541771c3d4
output_heap: d2977f7e0afdb51f1a62de41eae109e617004562
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
d871d21db844b5c9f0d6d8f5752b75fd3bec4d28
e0e7ad065ec4fccda4242415c105a2ba694d43ba


