# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7ae56d741e21b3babaf6e2857e8dfd7f4c0b50f4
input_heaps:
13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb
e27bfecc3175c5bea938916291a381f36c7f2a5b
4ca44f01f7fe6ef6138548ed17c43af628afb9b3


