# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f15ae9af1786984bddc7e679b1c03992ac92b986
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
56ebac93fc92c3b5b4e773691e04d2493a32917f


