# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 12b5bc70c0b526d74088106349acc7433bc01d43
input_heaps:
f695e2210c65e40e35d958c5ecfc154ad0d6ad65
874e40ba742cf3e6e99fb67087ea49c26880e3eb
070f09888f0cc4dbf5f4381a99cf7572ce551dd3
cfe82dbcc429d7c9e60d5573d73277f7bdd83097
ea2e7d8d019837b796a965b8edaec7e8bcd59d68


