# isabelle_session_info

session_name: HOL-IMP
sources: 0e98d9b468b1b26b4c8af73225107a6de753a5a2
input_heaps:
c57905e4889391014b3cd9b4f004261944b8f8c4
112025c4cc8eba4f520ad7bea85bf5de1a11b871
455baaa074e65627bd29d7239838b3d4f6284e7d


