# isabelle_session_info

session_name: HOL-Algebra
sources: 9fe7994be73d0a123abc1af872b58b7e1c1cdb55
output_heap: 465c85b00cb31f48d7e76480cdfe8219b65ab410
input_heaps:
43c7be6fe13329de6d6a102e9f64126d9c7b89c8
894a67f4e6318269dc9aeb1a75f1b806f92e5710
deff6c40857bf785dcad402270088b0852825e1d
ed7716beca53d9ab27765f7f73b34fe66d6449b4


