# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: b4720a2e9c1ce0576dfd77e9f94565701450cdfb
input_heaps:
4261b5a1501386295bfdb70e434ff4b92336605d
8bd4e929afcbb2be1bf5607a7362f9b0aead5da6
9d57baec7568878c083caab485bc257f450f36b5
50a8514f3b93463ee84132ac298a93f0cf09addd
52135a2520904ea77e385774f875c6d590a6f6d3


