# isabelle_session_info

session_name: Lifting_Definition_Option
input_heaps: 07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988
sources:
635498f98c69487f013703ffdb9caedc0fdb832a
7fe7d57e3e198edd83a2d382ef65f4104752bd8b
8818f259d173d4e233934b3274c267c7f059cf3d
b0e51eab0c8d3dbf8b27d2a9502223abea2ab39d


