# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
72cc4942cce77282ce20b0d84008390339bce3b9
b0a80f21b422bcacfce2958e094d48cd6356980c
cef78f2c5bdf0c85703a315482c2305ddb3caba6
f6db20c4dca5df226ded12f5929750837582a09a

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107


