# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 7d8ce1cc9163dbef862d9b95d642b365cfc3f6d3
output_heap: 8cb09fcd1e7e93ed0d8abf4b9d1a7404495ff178
input_heaps:
cd0e912ed62b565f923447ac15920f01cf16e661
978022e567c2431ebcf49bd9b03799e8cb79c960
f5f718b6bb1e63faebd1e5912d0605474f7dccc4


