# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 98ea33090f77d8cb165523b02d9cd7b56a03efcd
input_heaps:
72cca0904208fa240fb772d4d14dff23ebcd0242
8f015da9fb20bea689bd130164efacd685956ac0
ff28024f3be0652c2b16ca8177683b3b49a1142c


