# isabelle_session_info

session_name: HOL-IMP
sources: 43007296f12080209a6004b72999fa4846b9697e
uuid: dcbf5da0-f578-4c68-af6e-9dc738faae80
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3


