# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 9e4ecdd20d614211fc0bb14afe1757430bacc9e2
input_heaps:
34c3d73a560673e85d6a79ed679f4ac127002b9c
cb7dfd709478d010b69c5220c7d782899ba3b103
1413cd76501485111dc589e55f8106f97f9eef63


