Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Keep the Z_scope local to this file. | 2008-01-24 | |
* | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | 2007-11-06 | |
* | Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of... | 2007-11-06 |