# isabelle_session_info

session_name: HOL-IMP
sources: f0154ca75b01857c5fd17e273e7233f71a92e234
uuid: a550b1d8-a47b-48f8-9c0f-be80b1d02f2b
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd


