# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 0c1894c31659d3f8de92dc59c0d9360c1aae9b96
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
6f75f36220cfd6293dc7135b60e38814cc85b7ac
d7b2e2c215b38c5d7515822c7cd01f3b52a1d30d
e9705a75c41a86afe135de4abbff3c3966756e5f


