# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 49a4b7231907e8a9178e5a64b5c80dd6c5143a74
output_heap: 600d4d4039b3cde077a08902e197559574366fad
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
926772a406bf7c0c3f1e5757aad104330ccc638f


