# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 532a83412c06570e625fa9b6c74ec9a06c654611
input_heaps:
f7b4b33949eadf68a640de5d1913d11bbf106da0
124babcbd0240873887a6fa5acb6690168ad45f5
e281d9a67ec1f1f93a30b94ffdfc76c8fec76319
8a932c22d9be18fb036e8e8e8c5279d43f2b7947
bb9af4e00121fe492d4cc3040b71986d79d12024


