# isabelle_session_info

session_name: HOL-Computation_Algebra
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa
sources:
0791caee842d92fb3623ec7037e72594ed8c7594
0f83e9379368d232af1423c3a9685e6e1cf74f88
1e7ab19d32592565d771a2534a2041f54f5896b8
34221437a109a5594ba7786476b5abb5979a2647
3951c4c5af07fd4fed5d0b5563c77076a06f05e1
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
767b848e899bf51172cfcafea6b2fd397e8b0312
774f8dd0cff9b17b208d43e33ad42cd97ff352c2
7968f6322732c3ba03250bfbaf9834d26331cb65
82fce86746f9061205d625fb926c1da3b71e3bc1
838f958b45d76730a0be92b27d51a00c732b3a44
99a313f1db1e1572443b88b26b1db53bf14520a4
a6d881014016ac510413e96c94577bf126ea335f
a983b7dacbcbeca7f189237577759f4195807224
b1414c3ca7d741dc9c3828d873306f24e6963539
b8f70cf488f601fef79bc2af41296acc46bd82b1
c6ee00b52507a16ab7fcd0a577ef3e8cfabd964e
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d4855f725d82c483ed73690526c1da5b0ea2665d
e944656d6494c49c755c3d6622e773ca290be068
ff6d8270cbda0c555a1ab575a5b8c3736a9549ff


