# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 4cd66dfa39bba5925e7a7cbb8f6c1fbbf9d20a25
uuid: 7c640bf6-ddac-42c1-9ee0-7f60a5438f7d
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
aebd6c76484da54bdd8bc867ee7bf6594438e960
5c740fb61b705d6bddb5b5a9bec9942dccf662c6
93c64b046a88a724fd3917048d53ff0adbef327f


