Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Quot/QuotBase.thy
2010-02-10 Christian Urban cleaned a bit file | diff | annotate
2010-02-10 Cezary Kaliszyk hg-added the added file. file | diff | annotate
2010-02-10 Cezary Kaliszyk Changes from Makarius's code review + some noticed fixes. file | diff | annotate
2010-02-10 Cezary Kaliszyk Some cleaning of proofs. file | diff | annotate
2010-02-05 Cezary Kaliszyk Fixes for Bex1 removal. file | diff | annotate
2010-01-28 Cezary Kaliszyk Renamed Bexeq to Bex1_rel file | diff | annotate
2010-01-26 Cezary Kaliszyk Bex1_Bexeq_regular. file | diff | annotate
2010-01-26 Christian Urban merged file | diff | annotate
2010-01-26 Cezary Kaliszyk more eq_reflection & other cleaning. file | diff | annotate
2010-01-26 Cezary Kaliszyk Removing more eq_reflections. file | diff | annotate
2010-01-25 Christian Urban properly commented out the "unused lemmas section" and moved actually used lemmas elsewhere; added two minor items to the TODO list file | diff | annotate
2010-01-25 Christian Urban renamed QuotScript to QuotBase file | diff | annotate | base
less more (0) tip
nominal2