# isabelle_session_info

session_name: HOL-Word-Examples
sources: df415ddec5a0b577b555ec52e8d22f46e68feb06
input_heaps:
54b14aed0ad712a8fa337b72803fb0dd0d216f82
ead22071b693df857f0f6faa0a8f29d0948ede89
570aa64b1d3fe5143297831873702aca6fc82389


