# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 2574f2b9ad8e15c515124030266139afd30990cf
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
2dfb5262788728a96f0e81ce58f0dddb076d0e65
5fc34b539e4dea7b4b4cf08168f4eb69b0fc5afd
997f1c89e74dd71c123b63f32e5eedd98ef5859f


