# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 2157fe796ae5e994a40756c5fdb37a7a7afdd1d3
output_heap: 72fa036d0eae04f605be92ed0740d083d168190b
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
b65ab027311c69044c4ea978b04fec953edd36a0


