# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6078d9ee9a7e00860b567c2355103ec16648766c
input_heaps:
694bb96926d1660698ddeb0394f4bb66043d4981
3f194d166fa7506877ff48dffbc5ca900826612a
0fffc20416b932002484f6b3c830fc36ec0187b1


