# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: 4d2d5abe1ea4ae83cc1d0e89d0fc4b344e2016f3
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
74523ca0166e9eb6415b2be2253b4d5ef2f75bfe
47d71f0cae8c91e1fae12a168f39501616bfb017


