# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: ea4ff9695ba8b27063fa0efdcd237fbebb4a4d32
output_heap: 1423bd5c732f942b331e0d007b46674fc3bf7c6e
input_heaps:
9b35d05f9f8e0a26d346cc3ebf0cafeb60608d62
916c9a1b16497ead14a9223e075cfd379f8e0d5e
bbce231b51918487458129e4d893ba293c3cb727


