# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 95741653afcb5a5713a9c252ae0be07ca0c796bf
uuid: bac5e654-74f5-4ab2-b599-c67c9c705ac8
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d


