# isabelle_session_info

session_name: HOL-Algebra
sources: 3ec9dda93c6af97aab83bf8e4ed1a09ac2d977f4
output_heap: e1cdd4844ce3dd990a2ff422d6f67c212761d854
input_heaps:
0ada86ca64541a14c3b4bd3a93cea3b953b9dfec
70ea897643bdfb89d02323d127adb06a2c6b9d92
8df5bb739a39fb37ce217dd27ea0d92da3e6802f
9b852c9ba4e12a6941452acafc61e4979fa4390d


