# isabelle_session_info

session_name: HOL-IMP
sources: a682819ad6a5c702ea7aacd22ed752a3a95bd75b
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
8b58379d670d6dfa674d643467997074641663ae


