# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 19b28272e84e14558e108e553327550ef07fcc0b
uuid: f05f255b-ad0e-4ed0-88f9-83846ca43ec4
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba
3fcf97d988fa880e918fee9e4a6afbbce31042ec
2884f6c9de9aa80e11d0a440dc800aefc5574a31


