# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 054aa87e560f7a2d35f8ede8a11129ffc225b246
output_heap: 30d75088a5bc2ba76dbb657159949dd1ae94bb9d
input_heaps:
3c46bd8b58900339f0224e9308b09b20a89e5c96
6e62e245d40a14874522793008aa9e192fd80913
24ebde335a22cd2a8de6dca86d3517e101921485


