# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb
72cc4942cce77282ce20b0d84008390339bce3b9
b0a80f21b422bcacfce2958e094d48cd6356980c
c1177b04cfd3a1fdf2f7e7eef357c67784aa763e

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409


