# isabelle_session_info

session_name: How_to_Prove_it
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
sources:
23ab2b4c45d35c600f710ef2706a2d20d55033c4
87555516ffea9826c46ffb7fa13ed4dfb17f9b5b
bd7ad92c52728205d21e465e5c0a9373c19e89ac
c598b44c275201d74bac2a07e256d804d9ca3f9d
fed56b4eb7c524eba4e3355662be5cadedaf203c


