# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 90381edfd007adb5a89a38fefb7605caca327668
output_heap: f4daddb79c0be0b14eba5db052cfb9513ee2a4ba
uuid: 8f5bb83a-81e1-46b1-88b5-03d2d6e45491
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
67311316c7511f2e1668240497faddcffe7e5d8a


