# isabelle_session_info

session_name: HOLCF-HOL-Library
output_heap: dc3c998ffbcda56ef42956b800176169d711f367
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
34221437a109a5594ba7786476b5abb5979a2647
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
5115babcf82b51329a1890394e7d219241d1cfc9
5f3249c9a2080df051ec979e03e69f7b6c37b568
6a1b07b082500f00f6c3b1326fbbeedb536bae44
70176ee0fe9b063bcf4457cb585bdf7d8cbc0efb
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
a6d881014016ac510413e96c94577bf126ea335f
ad3e0430353cf9dd719486ae796d190d5e13f04d
b9c5555005d2457d66592f71382507c4831b3f89
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
aed01cb53bf2b6498deee1ef060ba554b5f2d965


