diff org/setup.org @ 14:367f7b7478a9

On main page: removed superfluous header; added new post on inductive lattices.
author Dylan Holmes <ocsenave@gmail.com>
date Tue, 01 Nov 2011 02:10:02 -0500
parents e8572e7c1e62
children f679403db87d
line wrap: on
line diff