# isabelle_session_info

session_name: HOLCF-Library
sources: f925971ef73dfbc1ce3491fde204c8ca8e878f96
output_heap: 3aa26657bb9fd255d8ee1c3c636d0d3205e49432
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
81075ddab24800cefd200210e8ba9b3282702a0a


