# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 8f3477d6c30470f3e4b20017e84c7ed9ec2aea27
uuid: ede7ee8f-30ed-45d4-a138-1a61005e93d2
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
80665f2658fe53539a5683772d98204946a709bc
6c6becca9ca8e44969dad16eeb1ed567020f8e9d
e3bd932bc895ead9f9e8a04b7c8de395038644b1


