# isabelle_session_info

session_name: HOL-Algebra
sources: f4cd15b6d4139ff00815319a1144fe185b1bcf93
output_heap: 5d6c9e66263583c5838dd8ad603942ad836b9331
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
13eee65bc2c09ea580fa7142d5900818dc646c9d
3fad18bac4d39c685be76460745a74b8f490b6f7


