Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2010-09-26 Christian Urban a few more words about Ott changeset | files
2010-09-25 Christian Urban lifted size_thms and exported them as <name>.size changeset | files
2010-09-25 Christian Urban cleaned up two examples changeset | files
2010-09-25 Christian Urban added example about datatypes changeset | files
2010-09-23 Christian Urban updated to Isabelle 22 Sept changeset | files
2010-09-22 Christian Urban removed dead code changeset | files
2010-09-22 Christian Urban fixed changeset | files
2010-09-22 Christian Urban made supp proofs more robust by not using the standard induction; renamed some example files changeset | files
2010-09-20 Christian Urban introduced a general procedure for structural inductions; simplified reflexivity proof changeset | files
2010-09-17 Christian Urban updated to Isabelle Sept 16 changeset | files
2010-09-17 Christian Urban updated to Isabelle Sept 13 changeset | files
2010-09-12 Christian Urban tuned code changeset | files
2010-09-10 Christian Urban tuned (to conform with indentation policy of Markus) changeset | files
2010-09-10 Christian Urban supp-proofs work except for CoreHaskell and Modules (induct is probably not finding the correct instance) changeset | files
2010-09-04 Christian Urban generated inducts rule by Project_Rule.projections changeset | files
2010-09-04 Christian Urban added the definition supp_rel (support w.r.t. a relation) changeset | files
2010-09-04 Christian Urban merged changeset | files
2010-09-03 Christian Urban got rid of Nominal2_Supp (is now in Nomina2_Base) changeset | files
2010-09-03 Christian Urban moved everything out of Nominal_Supp changeset | files
2010-09-03 Christian Urban renamed alpha_gen -> alpha_set and Abs -> Abs_set etc changeset | files
2010-09-03 Christian Urban moved a proof to Abs changeset | files
2010-09-03 Christian Urban got rid of Nominal_Atoms (folded into Nominal2_Base) changeset | files
2010-09-03 Christian Urban cleaned a bit various thy-files in Nominal-General changeset | files
2010-09-03 Christian Urban adapted paper to changes changeset | files
2010-09-03 Christian Urban made the fv-definition aggree more with alpha (needed in the support proofs) changeset | files
2010-09-03 Christian Urban removed lemma finite_set (already in simpset) changeset | files
2010-09-03 Christian Urban added supp_set lemma changeset | files
2010-09-02 Christian Urban some experiments with support changeset | files
(0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 tip
nominal2