# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: f30bee35f9681e0fc9d694b8d3cac0ddc6d0b5c4
input_heaps:
8312a1ec7af45180b3c2b2d217aa725a2636674a
f4822cea02f014661a0060ac932d6045578bcc5a
c10f2a4bc5d6d5d38addc370662c67cc539ae092
eafc107bca840ff07eeb8266da1a251663f446e2
272663ec8eb7b503a28a80cb07660b4b2d5e584a


