Skip to content

Commit c840497

Browse files
arademakerarademaker
committed
add Chapter13 in the Fad.lean
1 parent a191aea commit c840497

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎Fad.lean‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,3 +35,6 @@ import Fad.«Chapter9-Ex»
3535

3636
import Fad.Chapter12
3737
import Fad.«Chapter12-Ex»
38+
39+
import Fad.Chapter13
40+

0 commit comments

Comments
 (0)