# isabelle_session_info

session_name: Decreasing-Diagrams-II
sources: 337f3e98241cdf54e852adb55e4f0259464f9633
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213
9950629d502e66b635bc93d4d2d35d9841d01163


