Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -50 -30 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Paper/Paper.thy
2010-11-24 Christian Urban implemented concrete suggestion of 3rd reviewer file | diff | annotate
2010-11-05 Christian Urban small typo file | diff | annotate
2010-10-08 Christian Urban tuned file | diff | annotate
2010-10-08 Christian Urban added apendix to paper detailing one proof file | diff | annotate
2010-10-08 Christian Urban minor file | diff | annotate
2010-10-08 Christian Urban minor file | diff | annotate
2010-10-08 Christian Urban down to 20 pages file | diff | annotate
2010-10-07 Cezary Kaliszyk minor file | diff | annotate
2010-10-06 Christian Urban down to 21 pages and changed strong induction section file | diff | annotate
2010-10-06 Christian Urban tuned file | diff | annotate
2010-10-06 Christian Urban down to 22 pages file | diff | annotate
2010-10-05 Christian Urban down to 23 pages file | diff | annotate
2010-10-05 Christian Urban down to 24 pages and a bit file | diff | annotate
2010-10-05 Christian Urban llncs and more sqeezing file | diff | annotate
2010-10-04 Christian Urban first part of sqeezing everything into 20 pages (at the moment we have 26) file | diff | annotate
2010-10-04 Christian Urban changed to llncs file | diff | annotate
2010-10-01 Cezary Kaliszyk Made the paper to compile with the renamings. file | diff | annotate
2010-09-26 Christian Urban a few more words about Ott file | diff | annotate
2010-09-03 Christian Urban got rid of Nominal2_Supp (is now in Nomina2_Base) file | diff | annotate
2010-09-03 Christian Urban adapted paper to changes file | diff | annotate
2010-07-23 Christian Urban samll changes file | diff | annotate
2010-07-16 Christian Urban submitted version file | diff | annotate
2010-07-16 Christian Urban more paper file | diff | annotate
2010-07-16 Christian Urban more on the paper file | diff | annotate
2010-07-16 Christian Urban more on the paper file | diff | annotate
2010-07-15 Christian Urban a bit more to the paper file | diff | annotate
2010-07-14 Christian Urban more on the paper file | diff | annotate
2010-07-09 Christian Urban fixed file | diff | annotate
2010-07-09 Christian Urban before examples file | diff | annotate
2010-07-09 Christian Urban finished alpha-section file | diff | annotate
less more (0) -100 -50 -30 tip
nominal2