Paper/document/root.tex
2013-04-22 Christian Urban updated and small modification
2013-04-05 Christian Urban polished the intro
2013-03-29 Christian Urban changed the introduction adn cited Zammit
2013-02-27 Christian Urban added a coment about partial_function
2013-02-07 Christian Urban updated paper
2013-02-06 Christian Urban updated
2013-01-29 Christian Urban updated paper
2013-01-28 Christian Urban updated paper
2013-01-25 Christian Urban updated
2013-01-24 Christian Urban updated paper
2013-01-23 Christian Urban updated
2013-01-23 Christian Urban small updates
2013-01-18 Christian Urban updated turing_basic by Jian
2013-01-18 Christian Urban shortening a bit the paper and updating various things
2013-01-18 Christian Urban updated to ITP and updated directories
less more (0) tip