# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
86c7fd1199441702fd9498d93a1d3535f80efeef


