# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 1fba8ef464f03b88c74382562bd1db4cbcdab6c3
input_heaps:
381eb638d080047e383b4173449e80c0994bef3b
99f9932f08c3504e205a3588116abb3fe7dda7ef
995d967c71b8ba37e4c681ef329dc5e48a187c63


