# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: f3cb8062f6eff81e456c241b8ecb7fbe5307d7d8
output_heap: 0181540c9f61e22e00b337556f858e3b2f7f39d7
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
ede03428a5570b13397786cb62185eddba666a2c
72416735ad7c3434f620b97a940548488afb274b


