| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-11-22 | An update on Numbers. Added two files dealing with recursion, for information... | emakarov |
| 2007-11-16 | Added theorems; created NZPlusOrder from NTimesOrder. | emakarov |
| 2007-11-14 | Update on Numbers; renamed ZOrder.v to ZLt to remove clash with ZArith/Zorder... | emakarov |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |