# isabelle_session_info

session_name: HOL-Algebra
sources: 51bc60b36eb7121b247c62e23810a35d157f6d71
output_heap: 441ffb0dc3757c848470313bf7c4dbef8a82d87e
input_heaps:
119ecd3e4617a6498736c052214d7e7adff34d7d
0a58e77107b6447412309e7161b33a2201d96314
1dc829e565227284108a8e53f7a34b8e85bfeca7
bb3950e388caf657496c68669f7cccba7fffa053


