# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
5cb3670927430e83609193d63018786d130d05ba
72cc4942cce77282ce20b0d84008390339bce3b9
761342a34161241889303c27dac38cbf3836b6ec
b0a80f21b422bcacfce2958e094d48cd6356980c

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241
6a327321e0b399ce697ece376e10d51a4594dd86


