# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 0641ccd7fb4884089ce84ff4e0b0a0931e7a3f0c
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
58d60c16f10054013246b4c3dd110babc21c3c20


