Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -64 +64 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2010-04-14 Christian Urban tuned changeset | files
2010-04-13 Cezary Kaliszyk Working FSet with additional lemmas. changeset | files
2010-04-13 Cezary Kaliszyk Much more in FSet (currently non-working) changeset | files
2010-04-13 Christian Urban made everything to compile changeset | files
2010-04-12 Christian Urban merged changeset | files
2010-04-12 Christian Urban some small tunings (incompleted work in Lambda.thy) changeset | files
2010-04-12 Christian Urban moved equivariance of map into Nominal2_Eqvt file changeset | files
2010-04-12 Christian Urban early ott paper changeset | files
2010-04-12 Cezary Kaliszyk Porting lemmas from Quotient package FSet to new FSet. changeset | files
2010-04-12 Christian Urban added alpha-caml paper changeset | files
2010-04-12 Christian Urban implemented in thmdecls the case where eqvt-lemmas are of the form _ ==> _ changeset | files
2010-04-11 Christian Urban fixed bug in thmdecls with destructing Trueprop; some initial infrastructure for eqvt-theorems of the form _ ==> _ changeset | files
2010-04-11 Christian Urban folded changes from the conference version changeset | files
2010-04-11 Christian Urban added TODO item about parser creating syntax for the wrong type changeset | files
2010-04-11 Christian Urban corrected imports header changeset | files
2010-04-11 Christian Urban tuned changeset | files
2010-04-11 Christian Urban a few tests changeset | files
2010-04-11 Christian Urban added eqvt rules that are more standard changeset | files
2010-04-11 Christian Urban used warning instead of tracing (does not seem to produce stable output) changeset | files
2010-04-11 Christian Urban added small ittems about equivaraince of alpha_gens and name of lam.perm changeset | files
2010-04-11 Christian Urban added more robust tracing infrastructure; a strict version of the eqvt_tac raises an error if not all permutations cannot be analysed changeset | files
2010-04-09 Christian Urban changed the eqvt-tac to move only outermost permutations inside; added tracing infrastructure for the eqvt-tac changeset | files
2010-04-09 Brian Huffman rewrite paragraph introducing equivariance, add citation to Pitts03 changeset | files
2010-04-09 Brian Huffman edit 'contributions' section so we do not just quote directly from the reviewer changeset | files
2010-04-09 Christian Urban renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper changeset | files
2010-04-08 Christian Urban clarified comment about distinct lists in th efuture work section changeset | files
2010-04-08 Christian Urban tuned type-schemes example changeset | files
2010-04-08 Christian Urban updated (comment about weirdo example) changeset | files
2010-04-08 Christian Urban check whether the "weirdo" example from the binding bestiary works with shallow binders changeset | files
2010-04-08 Christian Urban properly separated the example from my PhD and gave the correct alpha-equivalence relation (according to the paper) changeset | files
2010-04-08 Christian Urban merged changeset | files
2010-04-08 Christian Urban some further changes changeset | files
2010-04-08 Brian Huffman merged changeset | files
2010-04-08 Brian Huffman change some wording in conclusion changeset | files
2010-04-08 Brian Huffman remove extra word changeset | files
2010-04-08 Christian Urban merged changeset | files
2010-04-08 Christian Urban added new paper directory for further work changeset | files
2010-04-08 Brian Huffman use qualified name as string in concrete atom example changeset | files
2010-04-08 Brian Huffman merged changeset | files
2010-04-08 Brian Huffman simplify instance proof changeset | files
2010-04-08 Brian Huffman polish explanation of additive group syntax changeset | files
2010-04-08 Christian Urban final version of the pearl paper changeset | files
2010-04-07 Christian Urban my final version of the paper changeset | files
2010-04-07 Christian Urban added an induction principle for permutations; removed add_perm construction changeset | files
2010-04-06 Christian Urban isarfied proof about existence of a permutation list changeset | files
2010-04-06 Christian Urban added reference to E. Gunter's work changeset | files
2010-04-06 Christian Urban typos in paper changeset | files
2010-04-04 Christian Urban separated general nominal theory into separate folder changeset | files
2010-04-03 Christian Urban added README and moved examples into separate directory changeset | files
2010-04-03 Christian Urban merged pearl paper with this repository; started litrature subdirectory changeset | files
2010-04-02 Christian Urban submitted version (just in time ;o) changeset | files
2010-04-02 Christian Urban first complete version (slightly less than 3h more to go) changeset | files
2010-04-02 Christian Urban tuned changeset | files
2010-04-02 Christian Urban tuned strong ind section changeset | files
2010-04-02 Christian Urban polished infrastruct section changeset | files
2010-04-02 Christian Urban completed lifting section changeset | files
2010-04-02 Christian Urban more on the lifting section changeset | files
2010-04-02 Christian Urban more on the strong induction section changeset | files
2010-04-01 Christian Urban completed conclusion changeset | files
2010-04-01 Christian Urban merged changeset | files
2010-04-01 Christian Urban merged changeset | files
2010-04-01 Christian Urban updated related work section changeset | files
2010-04-01 Cezary Kaliszyk fv_fv_bn changeset | files
2010-04-01 Cezary Kaliszyk Update fv_bn definition for bindings allowed in types for which bn is present. changeset | files
(0) -1000 -300 -100 -64 +64 +100 +300 +1000 tip
nominal2