# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 43b526775fcc5c14c8ec7966af8f93dbf08b15d3
input_heaps:
32e67617b84c9c11cb8188110a1a4623e5435f37
4cfe04fff283b1f341f7b2f228821a9a87ea40ea
9094e0a5f6bc6a544d871ab6c026e6da83819849


