# isabelle_session_info

session_name: HOL-IMPP
input_heaps: 0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903
sources:
1cab770cd6ea4935f2187148971bad0feddbfdb2
2161c3c67e922f9d4ea4d22943582fb36f6f6838
55f47d8b8312e64c48525169f65e691a7629e91c
57747abbea9f481cab010d83da74e03c692528be
6ffa702912ed93e8afb94c39f234619c58c1261c
b5aeda5b24e9394475cdadb8d97799f7912cd5ee


