# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: f15d0654ec004bc0c9ad06b4f6a04db8f515b5d6
input_heaps:
6f335b5bb8779b347644e460d18a9f6245b4d5ac
cc5e75d1df4beb9a165a03b53590ef0a1708c25d
513461124470cfa2197ccabcb76a66e38ceaceb6
0d5ca757f0319ccfa504b7883ecf52858663b857
f49bb2c5609851731d3bb69d030bfbb87db28849


