thys/UF_Rec.thy
2013-05-16 Christian Urban completed coding functions
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 separated recursive functions and UF
less more (0) tip