# isabelle_session_info

session_name: How_to_Prove_it
input_heaps: 0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903
sources:
23ab2b4c45d35c600f710ef2706a2d20d55033c4
7b4b6ba07805b5d29ff016eb9ad915df620d9561
87555516ffea9826c46ffb7fa13ed4dfb17f9b5b
c598b44c275201d74bac2a07e256d804d9ca3f9d
fed56b4eb7c524eba4e3355662be5cadedaf203c


