# isabelle_session_info

session_name: HOL-Algebra
sources: 9f7f06da010e6da67ea0a1932539d0c22ab59c70
output_heap: 678f85a6dfee898a1482a24328c930e586a07e32
input_heaps:
2104cafe5564fc5ce1949d8ef83c9104aee941d6
25c5d5ab322b23b0109a81b359ddcb0da3ef156a
845701604007dacd070542bc079ddf6409c3aa23
2739aafcafb630e3f7099385c425c267baf786e0


