Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2009-11-24 Cezary Kaliszyk TRY' for clean_tac changeset | files
2009-11-24 Cezary Kaliszyk Moved cleaning to QuotMain changeset | files
2009-11-24 Cezary Kaliszyk New cleaning tactic changeset | files
2009-11-24 Christian Urban explicit phases for the cleaning changeset | files
2009-11-24 Cezary Kaliszyk Separate regularize_tac changeset | files
2009-11-24 Cezary Kaliszyk Another theorem for which the new regularize differs from old one, so the goal is not proved. But it seems, that the new one is better. changeset | files
2009-11-24 Cezary Kaliszyk More fixes for inj_REPABS changeset | files
2009-11-24 Christian Urban addded a tactic, which sets up the three goals of the `algorithm' changeset | files
2009-11-23 Christian Urban fixed the error by a temporary fix (the data of the eqivalence relation should be only its name) changeset | files
2009-11-23 Christian Urban merged changeset | files
2009-11-23 Christian Urban tuned some comments changeset | files
2009-11-23 Cezary Kaliszyk Another not-typechecking regularized term. changeset | files
2009-11-23 Cezary Kaliszyk domain_type in regularizing equality changeset | files
2009-11-23 Cezary Kaliszyk More theorems lifted in the goal-directed way. changeset | files
2009-11-23 Cezary Kaliszyk Finished temporary goal-directed lift_theorem wrapper. changeset | files
2009-11-23 Christian Urban merged changeset | files
2009-11-23 Christian Urban a version of inj_REPABS (needs to be looked at again later) changeset | files
2009-11-23 Cezary Kaliszyk Fixes for atomize changeset | files
2009-11-23 Cezary Kaliszyk merge changeset | files
2009-11-23 Cezary Kaliszyk lift_thm with a goal. changeset | files
2009-11-23 Christian Urban slight change in code layout changeset | files
2009-11-23 Cezary Kaliszyk Fixes for new code changeset | files
2009-11-23 Cezary Kaliszyk Removing dead code changeset | files
2009-11-23 Cezary Kaliszyk Move atomize_goal to QuotMain changeset | files
2009-11-23 Cezary Kaliszyk Removed second implementation of Regularize/Inject from FSet. changeset | files
2009-11-23 Cezary Kaliszyk Moved new repabs_inj code to QuotMain changeset | files
2009-11-23 Cezary Kaliszyk New repabs behaves the same way as old one. changeset | files
2009-11-23 Christian Urban code review with Cezary changeset | files
2009-11-23 Cezary Kaliszyk The other branch does not seem to work... changeset | files
2009-11-23 Cezary Kaliszyk Fixes for recent changes. changeset | files
(0) -300 -100 -50 -30 +30 +50 +100 +300 +1000 tip
nominal2