description38b470de3ec8cd5f7f07c26a133ff222bb
last changeThu, 14 Oct 2010 16:51:12 +0000 (17:51 +0100)
shortlog
2010-10-14 Joey CapperParameterised -> Parametrised. master
2010-10-14 Joey CapperFinal tweaks and changes.
2010-10-14 Joey CapperMerge branch 'master' of gitorious.org:tfp2010/tfp...
2010-10-14 Henrik NilssonAnd some final tweaks
2010-10-14 Joey CapperMerge branch 'master' of gitorious.org:tfp2010/tfp...
2010-10-14 Henrik NilssonMinor tweak
2010-10-14 Henrik NilssonTweaked modular equations
2010-10-14 Joey CapperMerge branch 'master' of gitorious.org:tfp2010/tfp...
2010-10-14 Joey CapperTweaks to the introduction.
2010-10-14 Henrik NilssonTweaked introduction
2010-10-14 Henrik NilssonTweaked abstract.
2010-10-14 Joey CapperSpelling corrections.
2010-10-13 Joey CapperParagraph on the peculiarities of soundness in our...
2010-10-13 Joey CapperAdded soundness statements for sigrel z where q, and...
2010-10-13 Joey CapperGeneral corrections to spelling and grammar. Reference...
2010-10-13 Joey CapperJustification for lambda calculus embedding.
...
heads
5 years ago master