# isabelle_session_info

session_name: HOL-IMP
sources: 3d210170b1145682a7bf0606d6a8260a7e751c4c
uuid: 3bb6d7be-4110-4d7b-97d3-6e768bf811e6
input_heaps:
ac41a4751495fa458bfd78a9d2fd9a8f8f097f32
eeb417e47f4f5a50d972f3ce18a01992c7556b8e
e4b4c04137d4034ae233dadccbd972e0005cd9db


