# isabelle_session_info

session_name: Paraconsistency
input_heaps: 572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb
sources:
3ccae0218d69e003da4c5a0348389b45fc613ead
c0955b1f12490e572e1204930881955e8df5092d
ee917ddbeef1eaf59aaef5072e5b4e5081bc965c


