# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: b6b87ef0e9033257fa2f97cd33c5f0ca5fba4fb0
input_heaps:
1770e7d42e284900cf7be1fa0dd3341bffb6e5a0
3748dad1f2adf6ae24eb2a2d4ccd1ef4791b4c46
8d449bf485228cc9b63005d9ee3a814c099de91f
edade94031a56fb173b93367575165828656b100
855e928370e52bf82a603826ae620f59319fad37


