# isabelle_session_info

session_name: HOL-IMP
sources: 1054b6bc3526bd8ea98b0a1c3790cd13413000bd
uuid: 56645438-eb7a-432f-8d34-ad32ebca9d80
input_heaps:
5a3d596cb142bc9ec2bbea424b46d595ada8722a
3241c15793168d7f0f42cba193ff3c1c8c4e074a
b3d617fcb6a58181993d1fdc0a209a9d55e68274


