# isabelle_session_info

session_name: HOL-Computation_Algebra
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
34221437a109a5594ba7786476b5abb5979a2647
36b8584ec82c8afdc1589603fca2b91a2eac3bb7
468a715ceee960668794d38db442470262982a53
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
7364e9ccf7ab42c119771af0b30c338443b40c92
74c7b3b9fc805b37404841e74148b8988e671d65
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
838f958b45d76730a0be92b27d51a00c732b3a44
88bddf642f8d245e56518b669478e3610b2e7f45
8c9504a479a5a4046082d82961946640d41562f0
9b9e177591d02c11b520dec097a77fabd4864729
a243bca616d649a4d8a63bc3af059d86a26e2b4f
a6d881014016ac510413e96c94577bf126ea335f
b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b
ba3b3a5730257d7f4916bd70913829a914ccdf7a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
e944656d6494c49c755c3d6622e773ca290be068
f83abfa96c2346ecc68d747c8f1846d73e577b2e
fcc58f5e13459fb63a2ce4fc9a71f6fce387cddd


