# isabelle_session_info

session_name: HOL-IMPP
input_heaps: 76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575
sources:
1cab770cd6ea4935f2187148971bad0feddbfdb2
55f47d8b8312e64c48525169f65e691a7629e91c
57747abbea9f481cab010d83da74e03c692528be
6ffa702912ed93e8afb94c39f234619c58c1261c
b5aeda5b24e9394475cdadb8d97799f7912cd5ee
d69e2cd224b934f7a6bad97051ac4ca83f01adc6


