# isabelle_session_info

session_name: HOL-IMP
sources: 054bbb51895d6ebe24dd8061195fe89bcde5bc3d
uuid: 85e07ef3-d991-421d-9857-d2e23c5366f9
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba


