# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: be986f79430814dad2ab22e9525d6c03e6153ee8
output_heap: 38d02128dfd62a5cc87aa673452e3f247fd78f31
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
8b58379d670d6dfa674d643467997074641663ae


