Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
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
2010-09-01 Christian Urban added eqvt-attribute for permute_abs lemmas changeset | files
2010-08-31 Christian Urban slides of my talk changeset | files
2010-08-30 Cezary Kaliszyk merge changeset | files
2010-08-30 Cezary Kaliszyk update qpaper to new isabelle changeset | files
2010-08-30 Cezary Kaliszyk No need to unfold mem_def with rsp/prs (requires new isabelle). changeset | files
2010-08-30 Cezary Kaliszyk Anonymize, change Quotient to Quot and fix indentation changeset | files
2010-08-29 Christian Urban renamed NewParser to Nominal2 changeset | files
2010-08-29 Christian Urban tuned changeset | files
2010-08-29 Christian Urban updated todos changeset | files
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip
nominal2