# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 2ea725d0bbe62cd5d28816ecb01b7d96d7efb0dd
output_heap: 9bf8c9ad681d1841f108bc96edcec8821ac705d0
input_heaps:
71273f2b5a292ddaf873133309c34b5758374be3
b75fa78fe7c55a0d5d72a19c39ec72148e2d4f8a
d6667ded7f382587b967ec7ac2e26bdf06a195f6


