# isabelle_session_info

session_name: HOL-IMP
sources: b769cc0c2b85dc2acd52cdc37f3cc7c272aec60c
uuid: 80febae3-088f-4079-ad06-356f47d5e5d3
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b


