# isabelle_session_info

session_name: Paraconsistency
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
3ccae0218d69e003da4c5a0348389b45fc613ead
c0955b1f12490e572e1204930881955e8df5092d
ee917ddbeef1eaf59aaef5072e5b4e5081bc965c


