# isabelle_session_info

session_name: HOLCF-ex
sources: 69adda21121c1e735b96563a4c6810458bcb8178
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
81075ddab24800cefd200210e8ba9b3282702a0a
3aa26657bb9fd255d8ee1c3c636d0d3205e49432


