# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 88d5209eef15e0581292d86023e277384e7799f5
input_heaps:
60a148b45ba9a77d08275bcbed1a4e03ca2f42ac
32022e6d944834e4e8205d5bf1712d14f3818068
10c55a02344b6fec76eb7599b497a94f63386c72
9be956166fcc0ec4794a49fd84a32e8147f5c90d
f873f302ff5a8c3aa2af130a27ac408ffa40488b


