# isabelle_session_info

session_name: HOL-Algebra
sources: c00f7fe9ae3241584122d4e773d78fdf7b6ef436
output_heap: 94df4c1bb8f6ea490d81c64a169f86150c68803c
uuid: ec519b8a-874c-4375-892b-21ea454ad7bb
input_heaps:
c269d7ba43311fcdd25b27d2c85675fb79c28bfe
c2c8ccb14b1e30e727060788d8f6b1001e9bfa2a
3874425be7072350e644dce9d974456aa0ca46ce
5400ee2bfc53a24970085dabc661fa3d75a1f85c


