# isabelle_session_info

session_name: HOL-Metis_Examples
sources: afaf305a77a2cff01831b313ffe0c26ce5cd52b1
uuid: b50f7d65-9c2a-47a2-ad74-263fee2e4b82
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba


