# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
72cc4942cce77282ce20b0d84008390339bce3b9
b0a80f21b422bcacfce2958e094d48cd6356980c
cef78f2c5bdf0c85703a315482c2305ddb3caba6
f6db20c4dca5df226ded12f5929750837582a09a

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


