# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 15f5d05ad2ade4692bc0af9955c493cde61bef1c
output_heap: 6a44ac8898e209cab0a2756e7fa73edd4b7341f9
input_heaps:
2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3
229a1d829501cf0a740156509d19e43499ab4bef
ca14f16b93325bb5550fb25e064a375284fc566f


