Paper/Paper.thy
2010-03-31 Christian Urban polished and removed tys from bn-functions.
2010-03-31 Cezary Kaliszyk merge
2010-03-31 Cezary Kaliszyk More on paper
2010-03-31 Christian Urban started to polish alpha-equivalence section, but needs more work
2010-03-31 Christian Urban started with a related work section
2010-03-30 Christian Urban polished and added an example for fvars
2010-03-30 Christian Urban cleaned up the section about fv's
2010-03-30 Christian Urban tuned beginning of section 4
2010-03-30 Cezary Kaliszyk More on section 5.
2010-03-30 Cezary Kaliszyk More on section 5.
2010-03-30 Christian Urban merged
2010-03-30 Christian Urban removed "raw" distinction
2010-03-30 Cezary Kaliszyk More on Section 5
2010-03-30 Cezary Kaliszyk Beginning of section 5.
2010-03-30 Christian Urban merged
2010-03-30 Cezary Kaliszyk Avoid mentioning other nominal datatypes as it makes things too complicated.
2010-03-30 Christian Urban merged
2010-03-30 Cezary Kaliszyk close the missing parenthesis on both sides.
2010-03-30 Christian Urban merged
2010-03-30 Christian Urban changes to section 2
2010-03-30 Cezary Kaliszyk Clean alpha
2010-03-30 Cezary Kaliszyk clean fv_bn
2010-03-30 Cezary Kaliszyk alpha_bn
2010-03-30 Cezary Kaliszyk Change @{text} to @{term}
2010-03-30 Cezary Kaliszyk alpha
2010-03-30 Cezary Kaliszyk more
2010-03-30 Cezary Kaliszyk fv and fv_bn
2010-03-30 Christian Urban more of the paper
2010-03-29 Christian Urban merged
2010-03-29 Christian Urban small changes in the core-haskell spec
2010-03-29 Christian Urban clarified core-haskell example
2010-03-29 Christian Urban spell check
2010-03-29 Christian Urban more on the paper
2010-03-28 Christian Urban more on the paper
2010-03-27 Christian Urban more on the paper
2010-03-26 Christian Urban more on the paper
2010-03-26 Christian Urban merged
2010-03-25 Christian Urban more on the paper
2010-03-24 Christian Urban more on the paper
2010-03-24 Christian Urban some tuning; possible fix for strange paper generation
2010-03-24 Christian Urban more on the paper
2010-03-24 Christian Urban tuned paper
2010-03-23 Christian Urban more of the paper
2010-03-23 Christian Urban more tuning in the paper
2010-03-23 Christian Urban more tuning
2010-03-23 Christian Urban tuned paper
2010-03-23 Christian Urban more on the paper
2010-03-23 Christian Urban tuned paper
2010-03-23 Christian Urban more on the paper
2010-03-22 Christian Urban more on the paper
2010-03-22 Christian Urban tuned paper
2010-03-22 Christian Urban more on the paper
2010-03-22 Christian Urban tuned paper
2010-03-21 Christian Urban tuned paper
2010-03-19 Christian Urban more work on the paper
2010-03-19 Christian Urban picture
2010-03-19 Christian Urban polished
2010-03-19 Christian Urban more one the paper
2010-03-19 Christian Urban more tuning on the paper
2010-03-18 Christian Urban more tuning on the paper
less more (0) -60 tip