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
2013-04-22 Christian Urban updated and small modification
2013-04-05 Christian Urban polished the intro
2013-04-01 Christian Urban added paper by Kozen on Hoare-logics and Kleene algebras
Loading...
(0) -100 -14 +14 tip