# isabelle_session_info

session_name: Decreasing-Diagrams
sources: 769bcd5e35f387b7605ed36bf6cdc75826437cba
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
607b584e29337f48da7c2b7111a6e1bd83507c61
3d0667e85ef75ac10b3f67c9303a4f3b005e68cb


