# isabelle_session_info

session_name: HOLCF-FOCUS
sources: f6a7490e1e12b512d5962728bb9a45079ff1645b
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
120285970e6e4b821edef8ffc499019b93e496a4
5bc4889ba86cdf15c09c1a9b58fde4f32dd476b9


