# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ad29ca59489b6ed964c071521f6712aa78033132
input_heaps:
8cd2a2b0485da6972fef25fa342b036cdb7debc8
3de0747a3e437ae3effbdb060d8e4514f50343a5
78c641371e2a90042094ef33727b691d60d1c20c


