# isabelle_session_info

session_name: Paraconsistency
input_heaps: b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
sources:
3ccae0218d69e003da4c5a0348389b45fc613ead
c0955b1f12490e572e1204930881955e8df5092d
ee917ddbeef1eaf59aaef5072e5b4e5081bc965c


