# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 610fe33a98e70b84f6d5f6ea0aeaef5bf859b5e9
input_heaps:
cb3b4b88f86f707d123395dc0f54d7e406fb9231
2f7affaa3f1e641179075b6ed2189143771cd710
d53cbe55e2ad6db93b989010c753f8d3467cd090
92e059aea9737af15f7dd7fa3fd660b6fefd7282
a1436c4772fde6eac5e17c50a0ea8c0157b7c708


