# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 032ff3e08bcf46f1b2779df7fda1653e456f2619
uuid: ecb42fcd-a125-4c5f-bd18-1e7333a8cc85
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
94f7f303608dd27309930b956962f22c22ff3ebb
70097e731790c8093f15680446addab8f80dfe04
be86ebff120f124f79f59ff30d6071e650cea340


