Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -50 -24 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Paper/Paper.thy
2010-05-24 Christian Urban tuned paper file | diff | annotate
2010-05-19 Christian Urban added comments about pottiers work file | diff | annotate
2010-05-18 Christian Urban soem minor tuning file | diff | annotate
2010-05-16 Christian Urban tuned paper file | diff | annotate
2010-05-15 Christian Urban tuned paper file | diff | annotate
2010-05-14 Christian Urban tuned a bit the paper file | diff | annotate
2010-05-14 Christian Urban tuned a bit the paper file | diff | annotate
2010-05-13 Christian Urban tuned the paper file | diff | annotate
2010-04-27 Christian Urban merged file | diff | annotate
2010-04-27 Christian Urban one more pass over the paper file | diff | annotate
2010-04-27 Christian Urban more polishing on the paper file | diff | annotate
2010-04-26 Christian Urban some changes to the paper file | diff | annotate
2010-04-21 Christian Urban some small changes file | diff | annotate
2010-04-19 Christian Urban small updates to the paper; remaining points in PAPER-TODO file | diff | annotate
2010-04-15 Christian Urban typo file | diff | annotate
2010-04-15 Cezary Kaliszyk Minor paper fixes. file | diff | annotate
2010-04-09 Christian Urban renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper file | diff | annotate
2010-04-08 Christian Urban clarified comment about distinct lists in th efuture work section file | diff | annotate
2010-04-06 Christian Urban typos in paper file | diff | annotate
2010-04-02 Christian Urban submitted version (just in time ;o) file | diff | annotate
2010-04-02 Christian Urban first complete version (slightly less than 3h more to go) file | diff | annotate
2010-04-02 Christian Urban tuned file | diff | annotate
2010-04-02 Christian Urban tuned strong ind section file | diff | annotate
2010-04-02 Christian Urban polished infrastruct section file | diff | annotate
less more (0) -100 -50 -24 tip
nominal2