Skip to content

Commit 8a1bd47

Browse files
SnO2WMaNSnO2WMaN
committed
Update SeqPL
1 parent ee8f809 commit 8a1bd47

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎SeqPL.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ public import SeqPL.DFormula.Basic
44
public import SeqPL.Formula.Basic
55
public import SeqPL.Formula.Letterless
66
public import SeqPL.Gentzen.Basic
7+
public import SeqPL.Gentzen.Maehara
78
public import SeqPL.Gentzen.WithCut
89
public import SeqPL.Hilbert.Basic
910
public import SeqPL.Kripke.Basic

0 commit comments

Comments
 (0)