# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: 947b91476dcad2aeb943b618e124c8f809114ba7
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
7882257f99c60b914c028aea13fe1fa2f364599e


