Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Paper/Paper.thy
2010-03-30 Christian Urban tuned beginning of section 4 file | diff | annotate
2010-03-30 Cezary Kaliszyk More on section 5. file | diff | annotate
2010-03-30 Cezary Kaliszyk More on section 5. file | diff | annotate
2010-03-30 Christian Urban merged file | diff | annotate
2010-03-30 Christian Urban removed "raw" distinction file | diff | annotate
2010-03-30 Cezary Kaliszyk More on Section 5 file | diff | annotate
2010-03-30 Cezary Kaliszyk Beginning of section 5. file | diff | annotate
2010-03-30 Christian Urban merged file | diff | annotate
2010-03-30 Cezary Kaliszyk Avoid mentioning other nominal datatypes as it makes things too complicated. file | diff | annotate
2010-03-30 Christian Urban merged file | diff | annotate
2010-03-30 Cezary Kaliszyk close the missing parenthesis on both sides. file | diff | annotate
2010-03-30 Christian Urban merged file | diff | annotate
2010-03-30 Christian Urban changes to section 2 file | diff | annotate
2010-03-30 Cezary Kaliszyk Clean alpha file | diff | annotate
2010-03-30 Cezary Kaliszyk clean fv_bn file | diff | annotate
2010-03-30 Cezary Kaliszyk alpha_bn file | diff | annotate
2010-03-30 Cezary Kaliszyk Change @{text} to @{term} file | diff | annotate
2010-03-30 Cezary Kaliszyk alpha file | diff | annotate
2010-03-30 Cezary Kaliszyk more file | diff | annotate
2010-03-30 Cezary Kaliszyk fv and fv_bn file | diff | annotate
2010-03-30 Christian Urban more of the paper file | diff | annotate
2010-03-29 Christian Urban merged file | diff | annotate
2010-03-29 Christian Urban small changes in the core-haskell spec file | diff | annotate
2010-03-29 Christian Urban clarified core-haskell example file | diff | annotate
2010-03-29 Christian Urban spell check file | diff | annotate
2010-03-29 Christian Urban more on the paper file | diff | annotate
2010-03-28 Christian Urban more on the paper file | diff | annotate
2010-03-27 Christian Urban more on the paper file | diff | annotate
2010-03-26 Christian Urban more on the paper file | diff | annotate
2010-03-26 Christian Urban merged file | diff | annotate
2010-03-25 Christian Urban more on the paper file | diff | annotate
2010-03-24 Christian Urban more on the paper file | diff | annotate
2010-03-24 Christian Urban some tuning; possible fix for strange paper generation file | diff | annotate
2010-03-24 Christian Urban more on the paper file | diff | annotate
2010-03-24 Christian Urban tuned paper file | diff | annotate
2010-03-23 Christian Urban more of the paper file | diff | annotate
2010-03-23 Christian Urban more tuning in the paper file | diff | annotate
2010-03-23 Christian Urban more tuning file | diff | annotate
2010-03-23 Christian Urban tuned paper file | diff | annotate
2010-03-23 Christian Urban more on the paper file | diff | annotate
2010-03-23 Christian Urban tuned paper file | diff | annotate
2010-03-23 Christian Urban more on the paper file | diff | annotate
2010-03-22 Christian Urban more on the paper file | diff | annotate
2010-03-22 Christian Urban tuned paper file | diff | annotate
2010-03-22 Christian Urban more on the paper file | diff | annotate
2010-03-22 Christian Urban tuned paper file | diff | annotate
2010-03-21 Christian Urban tuned paper file | diff | annotate
2010-03-19 Christian Urban more work on the paper file | diff | annotate
2010-03-19 Christian Urban picture file | diff | annotate
2010-03-19 Christian Urban polished file | diff | annotate
2010-03-19 Christian Urban more one the paper file | diff | annotate
2010-03-19 Christian Urban more tuning on the paper file | diff | annotate
2010-03-18 Christian Urban more tuning on the paper file | diff | annotate
2010-03-18 Christian Urban tuned file | diff | annotate
2010-03-18 Christian Urban another little bit for the introduction file | diff | annotate
2010-03-18 Christian Urban more of the introduction file | diff | annotate
2010-03-18 Christian Urban corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant file | diff | annotate
2010-03-18 Christian Urban slightly more in the paper file | diff | annotate
2010-03-17 Christian Urban slightly more of the paper file | diff | annotate
2010-03-17 Christian Urban paper uses now a heap file - does not compile so long anymore file | diff | annotate
2010-03-17 Christian Urban temporarily disabled tests in Nominal/ROOT file | diff | annotate
2010-03-17 Christian Urban made paper to compile file | diff | annotate
2010-03-17 Christian Urban added partial proof of supp for type schemes file | diff | annotate
2009-12-16 Christian Urban added a paper for possible notes file | diff | annotate
less more (0) tip
nominal2