# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f9590790269aa07f0da92faead99b3293eeba6b6
input_heaps:
c10b09dfa56051c7fd8c1bbb4005750ae3c154ec
ede03428a5570b13397786cb62185eddba666a2c
72416735ad7c3434f620b97a940548488afb274b


