# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: bf130709148f4b53f001cfa63bec15468bb335e8
input_heaps:
a4ba7cad79e93154755ecf490de1fdf9800ec2f1
9d9315b41c4672e693f9c72923fca8342fdc286f
f5e6f7d33415648509e3ba559dbce155d4436d21
bf0d9b41b519a23ff6082eb1b6f7240b8b3be1ec
e0083176fe73c44b907c0f4e2ea2477b14244911


