# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 32cc71e81cdf828216017dfe580aec05527e70c8
input_heaps:
dcbe989a010ea70cd819f355bd4cd2182a8609cd
64c625505f6e5dba88645004ef7077320ae65d99
198ff5e37ea5bafbfaa144e0a97ed350c8e78da3
4803f0b383c30ee5c41d2b85a8679a30d2607c9b
10878bba2a7b9424466a71b787d9a6c6412ad1ec


