# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3bdc6a0ebb29851358a6e13efe88ec567a55468b
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
d07f3d5d92bb97fbda1e2fdf7a79aee41fe1c30a


