# isabelle_session_info

session_name: HOL-Metis_Examples
sources: cf624c0609d7ae7713b9b7f2d208ef008329a566
input_heaps:
fcd97a695ef5b62bea38497cd0d65f66703005ff
e9b88f37fc9fffc4ef10fd249175df1d7a522cfb
9d96b3461bff4a64b26cc6763863aab616a85f5c


