# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d0d32865cd057b47efa7535f51765544e9c331cb
input_heaps:
f0e41e8906fc3822e07e67496b53881453c8efc4
8cdd60cef878eaae282636d39dc13f1b1a7fdd02
6a90f4fac61fc1e8621803ec72ead593c677910d


