# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: bd96b4fa63cfcb09981f1383fcfb4d83b58af39a
input_heaps:
4842c8e44f35b38e84e7496d28f4c0448c77e9a2
424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb
b24a626926d116f90b05bb3fec45e8af4a1681fd
a1b9408ff9e9aa10f8cf294956aa01a99b949483
aed0aade8b8e51462d37b87fbd68554d90933794


