# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 5b41696bf15de6eac04264f12b9534a23ef4ba32
input_heaps:
a52852326379afee2cdf8f94e7105ca039ab9f98
4b399c4375d1ace873a060528c4c23646f4c8a2b
0bc5bc6abe597e017cb6fd19fad429eb4d8def51
03c14194ac04f51ab050d82d95793b4594a838d8
3919477d1bdedf74f66ec79e5b4e6fddbfc9895e


