lambdadelta_1 for Coq 7.3.1
- (revised 2015-01).
+ (revised 2015-09).
Source scripts.
- @@ -299,8 +299,9 @@
Informational pages on the parts of the specification:
-Core.
-
+ Background,
+ Core.
+ ![lambdadelta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
Last update: Sun, 18 Jan 2015 17:41:31 +0100
+ Last update: Sun, 11 Oct 2015 17:42:23 +0200