2013-05-10 Christian Urban added test version
2013-05-09 Christian Urban added lemmas about a pairing function
2013-05-02 Christian Urban polised a bit of the Recs-theory
2013-05-02 Christian Urban repaired old files
2013-05-02 Christian Urban eliminated explicit swap_lemmas
2013-05-02 Christian Urban separated recursive functions and UF
2013-05-02 Christian Urban introduced rec_if
2013-05-01 Christian Urban started with UF
2013-04-30 Christian Urban added max and lg functions
2013-04-29 Christian Urban added mechanizing separation algebra paper
2013-04-26 Christian Urban uodated
2013-04-25 Christian Urban added improved Recsursive function theory (not yet finished)
2013-04-24 Christian Urban updated
2013-04-22 Christian Urban used prime from the library
Loading...
(0) -100 -14 +14 tip