# isabelle_session_info

session_name: HOLCF-HOL-Library
output_heap: 0520ea258540899c29088a032f9838ee4b058bce
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
2d0c54c119222ff4b9debfcf8cd34d5dfdf7d751
5115babcf82b51329a1890394e7d219241d1cfc9
5f3249c9a2080df051ec979e03e69f7b6c37b568
6a1b07b082500f00f6c3b1326fbbeedb536bae44
767b848e899bf51172cfcafea6b2fd397e8b0312
78759369f7db0a7b2e1ca4cd148107e261ab15f1
82fce86746f9061205d625fb926c1da3b71e3bc1
97020981c6aabcd5f9a12344194388cc00a68b45
a6d881014016ac510413e96c94577bf126ea335f
ad3e0430353cf9dd719486ae796d190d5e13f04d
b9c5555005d2457d66592f71382507c4831b3f89
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
c1f78893b8ff18f75f1914288f7e034a2877cc05


