# isabelle_session_info

session_name: HOLCF-ex
sources: 8425a9220d8c17b4b7da747ad7e2d56b6fae3c23
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
f29285890d90514961930a02852b651abc8dc0c5
f94e709e44070a3c7a1f72b81af65811d366d5aa


