Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Implicit argument of Logic.eq become maximally inserted | 2009-10-08 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | Integration of theories/Ints into theories/Numbers, part 1: moving files | 2008-05-07 |