# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
0791caee842d92fb3623ec7037e72594ed8c7594
72cc4942cce77282ce20b0d84008390339bce3b9
7d711f48cae0c9e177f97ba9a64d6190d4b1df7d
b0a80f21b422bcacfce2958e094d48cd6356980c
f68dd2ebd26fd0bde22ea7c3a48a88d9580a8fb5

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


