# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: debb1b181dbb5f1cc07f6ad1ff62c7918ed8d09a
output_heap: eef6d8e71e21ae57efe49cb09a41ac2cd92ae13d
input_heaps:
d0156923f0ad172afd1e52e8c42b320ca81bf477
0a30aa7271dc7c235e210102f9965a6a7e549178
1c3e04fee9aa5353890446c3190c5ae4bb14faee


