# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: dfdae3c1815924dae36758255150e125ae07ed80
uuid: 290f2e74-48dd-4e25-8617-118864d96527
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d
1cb45336aa3f0257f6e6e8e30b63d034340ae5df
1a49c2ddd8cd6e52a942c38f6142977cf2e7aafc


