Changes between Version 13 and Version 14 of WikiStart


Ignore:
Timestamp:
Dec 31, 2009, 2:33:22 PM (9 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v13 v14  
    2121== Software == 
    2222 
    23  * A Coq module for Program Calculation in Coq: public release coming soon 
     23 * [http://frederic.loulergue.eu/ftp/ProgramCalculationInCoq-0.1.tar.bz2 Library "Program Calculation in Coq" version 0.1] 
    2424 
    2525