# isabelle_session_info

session_name: HOLCF-Library
sources: 7d7e06b41a1a37f87936eaf2a61a1274b9fcf1e2
output_heap: 3afae7f6c254d9ddf1d56fd5ced68cd9da3962ff
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
e7487039f362c8706b20da1ff0ba6f1fd3bbaee6


