# isabelle_session_info

session_name: Applicative_Lifting
sources: fb21775821a1c17273d3c774d2487c3deec756ed
output_heap: f986841c99235e4d78cc07027fe9d30a854ad634
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
07d27bba7e668c5bf69f11575f03da7ac2b1ffa3
7f90046c7af8bca9c4dabe059d994f5d77c74662


