# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c98fc614e7f8afc6ce7b530be69664ff5784236c
output_heap: af444632f8b464d05522043456e37172d94e2c86
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
315bf5c235bb455547dcc26824308f3938426e05
91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a


