# isabelle_session_info

session_name: Decreasing-Diagrams-II
sources: 9f211bc342647ae557402db1ecb74f120075e1e7
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32
b93e94647b6f8ac28748c9f70d83bca9f969e967


