Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -14 +14 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2009-10-17 Cezary Kaliszyk More higher order unification problems changeset | files
2009-10-17 Cezary Kaliszyk Merged changeset | files
2009-10-17 Cezary Kaliszyk Simplified changeset | files
2009-10-17 Cezary Kaliszyk Further in the proof changeset | files
2009-10-17 Cezary Kaliszyk compose_tac works with the full instantiation. changeset | files
2009-10-17 Christian Urban slightly simplified get_fun function changeset | files
2009-10-17 Cezary Kaliszyk The instantiated version is the same modulo beta changeset | files
2009-10-17 Cezary Kaliszyk Fully manually instantiated. Still fails... changeset | files
2009-10-17 Cezary Kaliszyk Little progress with match/instantiate changeset | files
2009-10-16 Cezary Kaliszyk Fighting with the instantiation changeset | files
2009-10-16 Cezary Kaliszyk Symmetric version of REP_ABS_RSP changeset | files
2009-10-16 Cezary Kaliszyk Progressing with the proof changeset | files
2009-10-16 Cezary Kaliszyk Finally fix get_fun. changeset | files
2009-10-16 Cezary Kaliszyk A fix for one fun_map; doesn't work for more. changeset | files
Loading...
(0) -100 -14 +14 +100 +300 +1000 +3000 tip
nominal2