# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 9224fc1263bea12cfc81f54c2d63f806be6418b3
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
0bbb80cce0914e272b2dc75eb351ae48ec09b263
2dd32bafbe406e0b35f2388ca047a7d247fea797
d19e191c6033f2a88432e3a506a2d637f1432278


