# isabelle_session_info

session_name: Descartes_Sign_Rule
sources:
19d7eb25cce05ef5e3a9cabcb6442083d3b4d7fb
5cb3670927430e83609193d63018786d130d05ba
72cc4942cce77282ce20b0d84008390339bce3b9
b0a80f21b422bcacfce2958e094d48cd6356980c

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
ea130132a8ab1e832f061836cb5bf296dd9c641b
9aa367bb8061c194cb2caef837c811362fe2f146
7f0ee7876e08aa57090805217b1394b9328c7d2c


