# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 3e46707d24e8bc80171e90127d4c4bb27da8b9aa
input_heaps:
dcbe989a010ea70cd819f355bd4cd2182a8609cd
64c625505f6e5dba88645004ef7077320ae65d99
198ff5e37ea5bafbfaa144e0a97ed350c8e78da3


