# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 696cd26e0f2495c3a1b5decd4e5e7681102a723d
input_heaps:
a11b8ef9095dc18af944c405902a78d4207477ae
5ec3732189714985ad51626bd5423359bc41965e
1466cff712c8315592d942606436cb712e667f87


