# isabelle_session_info

session_name: HOL-IMP
sources: f78a459ee5836fceab85a49f0262150664fe43ad
uuid: 1bc5dadf-1bca-49af-acfd-10442f880ff6
input_heaps:
a83808b3788421fa6650b3496db1ebdc1822b504
4443c0941841896475be8c25a7bae5d657ad435f
d32428f0d0951a8172726af4fc09c4ef986a2b00


