# isabelle_session_info

session_name: HOL-IMP
sources: 8af4c087ccba0a1d789f9ca1bb98638c88718d5e
input_heaps:
681d5f7fc3e04aaa1f2e7e53f290c7539f21d962
760f5e67e9493faf5a17920ca125cc8fad05353b
91ecd66eb993ad7f2f4dcea6b812a916f274f32f


