# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 4907f1136a18bd815251efe130461dd48b928e41
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
ede03428a5570b13397786cb62185eddba666a2c
72416735ad7c3434f620b97a940548488afb274b
0181540c9f61e22e00b337556f858e3b2f7f39d7
cf3e59b02669ee8e92a13a5aefd87ee933e8ccca


