# isabelle_session_info

session_name: Applicative_Lifting
sources: ba7c3d925721a48c893d5d91f2eb47c99f9813b2
output_heap: c7284d8f0fda7af4cc13c5dee5b78395d33a2a37
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d040bb6bb06b2ee524550897c62da689062d71c9
386744bb6b75820dd10c5e18faf5c4419e2f36ca


