# isabelle_session_info

session_name: Applicative_Lifting
sources: d6c428442cc0824889f05aec6a9b1a0ac78ce0fd
output_heap: c3becd92462b66ca3b6c2be0c2823e16d9edf811
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
0d958163c01ae27342331533ade53b2cd2488299
8a7ece4f60c0b791ad95c2c20947ae867cf85965


