# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: c7c74e129d7c0fc33b39900005fa8addfca07245
output_heap: 846f405a9903cc13abe609d2dbcfdc5620e2e1a3
input_heaps:
3b2e508b2aff2188633a82560156c897030a4024
d978af76c1573e6af7cd36158fcce388a4145b80
94cebb575091070c67b7e956f656be629ac72f02


