# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: f6f43053902f98225dc1a8884e203505deb57478
uuid: ca81a2ad-5e07-467f-880a-fd255cc3872c
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093
72004fc929a82f481c228479c8bb122279f25b5b
adb5f74c1fb78cf0c30af69c3426d9896ff81d58


