# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 4d1c04edc2e1dc5f1d6b1bc237740dc6d7dc14e0
input_heaps:
17457a3fe97f813a213d7ef8d7b2829eb848aa31
7471308de9c5995fbd439fed7ee59f52017e4e19
771948c28333475008fe4a1c448292315f25b99b
6c2b4732d4b808f219e1223af29b57888d427346
25d4978e47654f1294bbf9003a9135fca15ddf4c


