# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: b0447424ede29c7682f1e38934dfe22679dc0ab4
input_heaps:
f3ea5aa2f8d11857b657c5935b7de4dc91bd7467
17fecb4a5a4b0fbde672e754c2951e16217e6fc4
c270ccf9b92fa8e42c6f4e8944d7ecb9e510c740
c8d9217d2fa5dc936f5b5cf5edc3abf9edbc3b2a
514fefb749af4a9be295600c64b91efdd069d882


