# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 401f13be0d31c64d5f330c2fbf565a2d0c2e404a
input_heaps:
334e417d7f04d08dd2e235659180091543a44765
45912edf3b76cef52f4da1af88cb975398527801
aa23eb9a60b4dbc53487cf0ce9f3b98f4bf0498b
7c50e935f10e1dcc12d0015dd16e7f81db2838ef
1f799768958118a3aab56e20008b3fa5140b7fb4


