# isabelle_session_info

session_name: Lifting_Definition_Option
input_heaps: b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
sources:
635498f98c69487f013703ffdb9caedc0fdb832a
7fe7d57e3e198edd83a2d382ef65f4104752bd8b
8818f259d173d4e233934b3274c267c7f059cf3d
b0e51eab0c8d3dbf8b27d2a9502223abea2ab39d


