# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: d4df05fdd38c03015d487ec7bbbcf2a3b36a7c42
input_heaps:
2b67a9e2bb2b4459e907c5a87a263506b3c16be9
cc3ee92232616aae091b0dea7405319dc878b5ad
d3e3284258ba6b0103b63d5c26fb221a80cb7808
ab068ad9367286fc69371b8d1ef074404b89644b
3c9c0a7dc0d88bb944b0407e99b9ad86dafff5e1


