# isabelle_session_info

session_name: HOL-IMP
sources: 8af4c087ccba0a1d789f9ca1bb98638c88718d5e
input_heaps:
71091afed7a8a197c38e4fd92b1ce9b0f5e17eea
e548908dbfe907487adcfaa9280f64113ab5bbbf
e309b151f883e560703ae0dee61d5fde8b66cfb0


