# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 3fa61537d57b022dddd261e853ec32f01feefd73
input_heaps:
743fb1207c262a619d4f3e56a214ca963fe049cf
a40360f253be4aa8674bfca75f6f7a4d962ccef5
af241d65a313bee793ead747188673b3bc3c7bc6


