# isabelle_session_info

session_name: HOL-IMP
sources: 01eb1b1861475f6a02343be221888bb7036526c3
uuid: f8a7506e-3a51-4b28-a1d1-02c225cc363e
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
b5248a18d66475fc1bc6569462467f96de11ceea


