# isabelle_session_info

session_name: HOLCF-Library
sources: a194d7fd0939a12eaf8371a8081a5f5d7f46f5ce
output_heap: e85b63bc9f801d6272a23915a992b1adbb7a9b89
input_heaps:
1e8a5e75562653ea4f095e5003b29df3c0c7dcba
bd3bdab246ba0ab9f1962b0a2944f493b5762d24
fde21e9a840dd77ccf25d710185a23b467e8f0a6


