Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2009-10-28 Christian Urban updated all definitions changeset | files
2009-10-28 Christian Urban merged changeset | files
2009-10-28 Christian Urban added infrastructure for defining lifted constants changeset | files
2009-10-28 Cezary Kaliszyk First experiments with Lambda changeset | files
2009-10-28 Cezary Kaliszyk Fixed mistake in const generation, will postpone this. changeset | files
2009-10-28 Cezary Kaliszyk More finshed proofs and cleaning changeset | files
2009-10-28 Cezary Kaliszyk Proof of append_rsp changeset | files
2009-10-28 Christian Urban merged changeset | files
2009-10-28 Christian Urban added a function for matching types changeset | files
2009-10-27 Cezary Kaliszyk Manual conversion of equality to equivalence allows lifting append_assoc. changeset | files
2009-10-27 Cezary Kaliszyk Simplfied interface to repabs_injection. changeset | files
2009-10-27 Cezary Kaliszyk map_append lifted automatically. changeset | files
2009-10-27 Cezary Kaliszyk Manually lifted Map_Append. changeset | files
2009-10-27 Cezary Kaliszyk Merged changeset | files
2009-10-27 Cezary Kaliszyk Fixed APPLY_RSP vs Cong in the InjRepAbs tactic. changeset | files
2009-10-27 Christian Urban tuned changeset | files
2009-10-27 Christian Urban merged changeset | files
2009-10-27 Christian Urban added equiv-thm to the quot_info changeset | files
2009-10-27 Cezary Kaliszyk Simplifying FSet with new functions. changeset | files
2009-10-27 Christian Urban added an example about lambda-terms changeset | files
2009-10-27 Christian Urban made quotients compatiple with Nominal; updated keyword file changeset | files
2009-10-27 Christian Urban merged changeset | files
2009-10-27 Cezary Kaliszyk Completely cleaned Int. changeset | files
2009-10-27 Cezary Kaliszyk Further reordering in Int code. changeset | files
2009-10-26 Cezary Kaliszyk Simplifying Int. changeset | files
2009-10-26 Cezary Kaliszyk Merge changeset | files
2009-10-26 Cezary Kaliszyk Simplifying Int and Working on map changeset | files
2009-10-26 Christian Urban merged changeset | files
Loading...
(0) -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip
nominal2