# isabelle_session_info

session_name: HOL-Algebra
sources: c8c3392d92914158b4b9e35b362988007e2b12f9
output_heap: 1b75fddb2b6dafc4f108b0d9153242f23ab03a22
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
d4244c8c8b45f34e99d88ce9efcf11cfc8d66586
35e0c003f61cdb6fa560b1d0e657cc3b8733556e


