# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f8b8edae9d8df8675ce22b3efc55dcee70a92a71
input_heaps:
202f6f92237c25fe02f241fe1e163c0a4bca399a
63f007d29bfc488e0cf2bd9362b622634a9cd39d
fdc36f195ee67ff79eed64a9d47e04a1952799ae


