# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4fa0d3625e673d0f0966ac28b8bf6225736c2674
uuid: 28b28a58-dd50-46a1-8522-78c069d00bd8
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba


