# isabelle_session_info

session_name: HOL-Metis_Examples
sources: d8f8f6198c8570b070f4d5f4bb5c9013e5e5841f
input_heaps:
39541dc42102d8fbdda144a4ee678e8e4448af7a
6f38a31669f34b20d338d9eb8d66bf9c967db531
c36ec8ef00f01a4e2bd4b25f5ae1dc872b72b08b


