aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories
ModeNameSize
d---------Arith863logplain
d---------Bool289logplain
d---------Classes537logplain
d---------FSets806logplain
d---------Init330logplain
d---------Lists306logplain
d---------Logic1253logplain
d---------MSets409logplain
d---------NArith477logplain
d---------Numbers295logplain
d---------Program328logplain
d---------QArith445logplain
d---------Reals2254logplain
d---------Relations224logplain
d---------Setoids73logplain
d---------Sets957logplain
d---------Sorting229logplain
d---------Strings71logplain
d---------Structures661logplain
d---------Unicode34logplain
d---------Wellfounded439logplain
d---------ZArith1213logplain
-rw-r--r--theories.itarget8070logplain