# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
7dfa15ae648acb975cccdafafa2f6f01e7fccf26


