# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: f7e7c76c341a4d03692c9b7baa6022fccd4e200f
input_heaps:
b8f2b33a24d2ef800fa7a056082ebbbf3977915c
6a95eb2b178165cf707931927bdb35d5f0586909
3ba2901e92f22a936ab736a4a3710fea6d7a4b94
e03a5306fa8e3743f79bdb462c298e9654d54c13
b46dacec3a853b3763c9a87a0b1c632b28239e2a


