# isabelle_session_info

session_name: HOLCF-HOL-Library
output_heap: 6fe7de5450536a73b14e26a6fa65d087119d2daf
sources:
1bc701f8eb6474e542db12a6b783a92904024b2b
34221437a109a5594ba7786476b5abb5979a2647
5115babcf82b51329a1890394e7d219241d1cfc9
5f3249c9a2080df051ec979e03e69f7b6c37b568
6a1b07b082500f00f6c3b1326fbbeedb536bae44
82fce86746f9061205d625fb926c1da3b71e3bc1
890928a818e7bbe5990ffea1ddacc3672c7195f3
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
ad3e0430353cf9dd719486ae796d190d5e13f04d
b9c5555005d2457d66592f71382507c4831b3f89
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6
d590558ac27bd56791168a8179e1e46d592628cd
ea2803e6ad062cad8ab0bf6f40be7356c48a14ad

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
5c0e078edacc5c944f795beb4c8b643ee0eca7ec


