# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5b5bdce6b4427ca85fe475592eed9398de69f509
input_heaps:
0cea6af50952712e101cf3d03ef47baba4b0476a
5e4cf06377096ce71c7273dbfcd36f928b45e122
bd5fc5ca6ff26db15019a826b7d5504a34f0fb66


