-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathAll.lean
21 lines (21 loc) · 1.05 KB
/
All.lean
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
import Generated.peano.Peano.addk
import Generated.peano.Peano.addk_user
import Generated.peano.Peano.expk_user
import Generated.peano.Peano.mulk_user
import Generated.peano.Peano.mulk
import Generated.peano.Peano.expk
import Generated.peano.Peano.mulk_gen
import Generated.peano.Peano.expk_gen
import Generated.peano.Peano.addk_gen
import Generated.peano.Peano.Common.for_84821961910748561
import Generated.peano.Peano.Common.if_6183625948864629624_gen
import Generated.peano.Peano.Common.for_4806375509446804985_gen
import Generated.peano.Peano.Common.for_727972558926940900_gen
import Generated.peano.Peano.Common.for_84821961910748561_user
import Generated.peano.Peano.Common.if_6183625948864629624_user
import Generated.peano.Peano.Common.for_727972558926940900_user
import Generated.peano.Peano.Common.for_727972558926940900
import Generated.peano.Peano.Common.for_4806375509446804985
import Generated.peano.Peano.Common.for_84821961910748561_gen
import Generated.peano.Peano.Common.for_4806375509446804985_user
import Generated.peano.Peano.Common.if_6183625948864629624