# isabelle_session_info

session_name: HOL-Metis_Examples
sources: fff3d643c0014fc1e216268417c0c11daeec7189
input_heaps:
d5a3488ad18ffbaae064d10946542ffd314bf36d
72dc51a447b414238b4717ffb07110fa03d59279
36168e4ab0e2210d4063e57d3cff092657cb98d4


