# isabelle_session_info

session_name: HOL-Datatype_Examples
sources: 79d87fde5a4ebf25c3d553edac4ca8a286f4b633
uuid: b65546b1-284b-43eb-aa55-33fe46806e73
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba


