# isabelle_session_info

session_name: HOLCF-ex
sources: f95c64c694a44031e944c98350a58c79a24ec9fb
input_heaps:
fa72548ea64381a3258466aa0d212c84096a68ec
8d1621b83c6b83f04a9457e06e858acde63b0083
a5ed0cacff73199c94486be071da66aedeba1083
8a23e07d27cca04e1f977204d866e24ae08595d8


