# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ddd6b7d2b9d51270dfe855d90f1740312c049f77
input_heaps:
76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f
eee62ea59121ed3e50df436f618922c8776e9ecf
982d8115f120689a3526728b6f52d05d9be78393


