# isabelle_session_info

session_name: HOL-IMP
sources: 2546efcbe8d7c6bcd5a2925eb249275da9ef0c77
input_heaps:
c94af6ee79bf584a92bbeda27625eb7fb4c27abc
541a859f017a0c4bc5dc76659ed8f8efab41527e
03398dfb05425319c661f20bad24481b5beece9e


