# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 3407c2821a562d8b7193bae2593cebc69ce796bb
input_heaps:
db03750a2a02524ab90002b6aa2f3fdf73801456
44f4a4d21533e163309b3b046d80e673f2dfa115
feca8eb19e6906919bb5f8c995f7bc97212b6f21
e2510581f72fd18323fec4567f4ecb7f5106b7eb
4bdd9494f022a27a63a1bd78cac8ac948b03c5e9


