# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: debb1b181dbb5f1cc07f6ad1ff62c7918ed8d09a
output_heap: a7e96ed45e9cee88c27427e86fdd0156b6c0ed05
input_heaps:
42368fe10ffa76847404362339a6b2b6ecfa14b3
7e5415f15f07a30db173edb5eb67a40510001ccf
cbe12f8db6624bebeb649ae7a82f7eab116c52f9


