<page xmlns="http://lambdadelta.info/"
description = "\lambda\delta home page"
title = "\lambda\delta home page"
+ logo = "crux"
head = "cic:/matita/lambdadelta/ground_2/ (background for λδ version 2)"
>
<sitemap name="sitemap"/>
and its timeline.
</body>
<table name="ground_2_sum"/>
+ <news class="alpha" date="2016 April 18.">
+ Generic rt-transition counter (rtc).
+ </news>
+ <news class="alpha" date="2016 March 4.">
+ Platform-independent multiple relocation (rtmap).
+ </news>
+ <news class="alpha" date="2016 January 20.">
+ Multiple relocation with streams of naturals.
+ </news>
+ <news class="alpha" date="2015 October 11.">
+ Multiple relocation with lists of booleans.
+ </news>
<news class="alpha" date="2013 November 27.">
- Natural numbers with infinity.
+ Natural numbers with infinity (ynat).
</news>
<news class="alpha" date="2011 August 10.">
Specification starts.