# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 75cbdd75589967f86112ace2d744fca1d3f488b5
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
9f975acad972b699f03fe810ec4b42636972fe41


