# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7f09f7d90bedc608a388a6d76ec34618ceb594fc
input_heaps:
cf53733eb6be06340924da21f0a2a30c8408f115
95ec6235f51fb20ff01feb967caaf0950124a8bc
5fbd4a59facc5c1988154d505596271496edda6c


