# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 131bbb622ccb830846176db70290b9cd40ae0c06
input_heaps:
60153fda7f67c400babeac5ff8410bde1cb89937
979fcfd417ee7f5d3ccae23097201bc6a61b502d
def2d4bb6451f9afe6ed10a8fd17d5791c5db4eb


