# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 87733e5eab7bf8b33eeb1a8c688241edadbddedd
output_heap: 6103473dae0f0292401aea1a6c19fd42c8500caf
input_heaps:
347fbf4ef7d480ef0daf549b90b022c9b0165564
7b4c5b09d6236f4a8b3d7e6fed19a51691e426f9
bd9241cb5dd48f5d5e8f63e0ab4e5b6d233ca67a


