# isabelle_session_info

session_name: HOLCF-Library
sources: 8ee376d1fd372c5ced069008a0d7c2879951320a
output_heap: c79435f4bc641410bc34b2bdd9584adbbfda4e88
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
f94956453f3c9449081944f015f52317f1e1a8e3


