# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 08f8f24f6a4b66e303ab019660de74e5a9abc24e
input_heaps:
5a65cfc9184ac5fcff440c336649c488e962f666
d0455d08675ebeb715f124bb5eabb8abf79678b3
2ebc01ff3c330cb53575fd9e4b15f23e5b40ebb6


