# isabelle_session_info

session_name: HOL-Algebra
sources: 46e61a6d0956e5754c589cd3cbcb7db7ad6561b2
output_heap: 79ae3e9bac126ac2d598391a617ebe8400476762
input_heaps:
ad4db87444247cacaf5ca4f67b9564767bfbfbb9
71edd8e772543d5a1e662373cc1cfda52a924ab2
d946f33409cf92ad9ebb53307ce434668d196d58
8ce917c122cd506617aeb80dfaeefa46b22d950e


