# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 4caf70c2a1b38bafa0132cbf1903da2318ab252f
input_heaps:
90a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3
d52b8b1923d8724a29985dc1bf81b4a6465d872c
a1d7837c89d3f21bed91c445948096c2fde15c1b
f840a4f0ead8a2d20935ca762acbe8577272307a
9f0f60e762aa1d11aa910d0d39a83cdad8c4eb27


