# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9498b4dbdfbd3074966301d42b55f98638ca54c5
input_heaps:
1b1b23cc4f026b8efee00153745c0e90f4bba172
6b2c41334cbdfef77e5fd462241eacf1b847aef6
b0ede7d61792dc35f67bd9eb02ff3e28896094ee


