# isabelle_session_info

session_name: HOL-IMPP
input_heaps: 1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
sources:
1cab770cd6ea4935f2187148971bad0feddbfdb2
55f47d8b8312e64c48525169f65e691a7629e91c
57747abbea9f481cab010d83da74e03c692528be
6ffa702912ed93e8afb94c39f234619c58c1261c
b5aeda5b24e9394475cdadb8d97799f7912cd5ee
d69e2cd224b934f7a6bad97051ac4ca83f01adc6


