# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
72cc4942cce77282ce20b0d84008390339bce3b9
9dfcca80f8cefcbf701a66f3ce019773806c8d96
b0a80f21b422bcacfce2958e094d48cd6356980c
f68dd2ebd26fd0bde22ea7c3a48a88d9580a8fb5
f83abfa96c2346ecc68d747c8f1846d73e577b2e

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
5c50fff35e48300ff10062e832c26a132060085f


