# isabelle_session_info

session_name: HOLCF-Tutorial
sources: 21987f9d2a4a3f3892e42af675bde71c5fb79725
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
5fdcde6d18a35eda1496fcb89eb0b0641ce2cbb2


