Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -14 +14 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2009-12-07 Cezary Kaliszyk merge changeset | files
2009-12-07 Cezary Kaliszyk 3 new example thms in MyInt; reveal problems with handling of lambdas; regularize fails with "Loose Bound". changeset | files
2009-12-07 Christian Urban simplified the regularize simproc changeset | files
2009-12-07 Christian Urban now simpler regularize_tac with added solver works changeset | files
2009-12-07 Christian Urban removed usage of HOL_basic_ss by using a slighly extended version of empty_ss changeset | files
2009-12-06 Christian Urban merged changeset | files
2009-12-06 Christian Urban fixed examples changeset | files
2009-12-06 Cezary Kaliszyk Fix IntEx2 for equiv_list changeset | files
2009-12-06 Christian Urban merged changeset | files
2009-12-06 Christian Urban working state again changeset | files
2009-12-06 Christian Urban added a theorem list for equivalence theorems changeset | files
2009-12-06 Cezary Kaliszyk Merge changeset | files
2009-12-06 Cezary Kaliszyk Name changes. changeset | files
2009-12-06 Cezary Kaliszyk Solved all quotient goals. changeset | files
Loading...
(0) -300 -100 -14 +14 +100 +300 +1000 tip
nominal2