Skip to content

Commit 45751c8

Browse files
affeldt-aistaffeldt-aist
committed
upd wrt master, minor simplications
1 parent ea47d7f commit 45751c8

2 files changed

Lines changed: 213 additions & 320 deletions

File tree

‎_CoqProject‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,7 @@ theories/numfun.v
3838
theories/lebesgue_integral.v
3939
theories/summability.v
4040
theories/signed.v
41+
theories/smeasure.v
4142
theories/altreals/xfinmap.v
4243
theories/altreals/discrete.v
4344
theories/altreals/realseq.v

0 commit comments

Comments
 (0)