# isabelle_session_info

session_name: HOL-Algebra
sources: 3f44a16c3cf8091eed5d447c88a806e94e9ee8b6
output_heap: 9d58310b18c42984517bab33c14bf5dd59117620
input_heaps:
b6cea6df0192bc503fe986b33274a8145ff9ecd8
586af23001be017adfac22458b502ccc183a7aa6
de4b6b0045ea2fe3d407a8c39f4a50201efb1a75
9d84456ce2ac5a46d2febf7b57bd2ecc13d6008b


