# isabelle_session_info

session_name: HOL-Metis_Examples
sources: d2cbe000f246a2ee910e0e328902fa871b278ec1
input_heaps:
a28a6255246f7ec3c5cd9330da6d3544dfc26850
8ecdc4166284eb6c1c9af75e52995b5452e4ba9f
5155941f44c3899c09b9f0c26be9b6ddf8fd1e84


