# isabelle_session_info

session_name: HOL-IMPP
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
1cab770cd6ea4935f2187148971bad0feddbfdb2
55f47d8b8312e64c48525169f65e691a7629e91c
57747abbea9f481cab010d83da74e03c692528be
6ffa702912ed93e8afb94c39f234619c58c1261c
b5aeda5b24e9394475cdadb8d97799f7912cd5ee
f19db8742da00aa7a8ee5cec6a290519b1607b84


