Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-300
-100
-15
+15
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
Removing more eq_reflections.
2010-01-26, by Cezary Kaliszyk
ids *cannot* be object equalities
2010-01-25, by Christian Urban
re-inserted lemma in QuotList
2010-01-25, by Christian Urban
added prs and rsp lemmas for Some and None
2010-01-25, by Christian Urban
tuned proofs (mainly in QuotProd)
2010-01-25, by Christian Urban
properly commented out the "unused lemmas section" and moved actually used lemmas elsewhere; added two minor items to the TODO list
2010-01-25, by Christian Urban
renamed QuotScript to QuotBase
2010-01-25, by Christian Urban
cleaned some theorems
2010-01-25, by Christian Urban
test with splits
2010-01-24, by Christian Urban
The alpha equivalence relations for structures in 'Terms'
2010-01-23, by Cezary Kaliszyk
More experiments with defining the homomorphism directly, lifting of 'distinct' and of 'exhaust'.
2010-01-23, by Cezary Kaliszyk
Trying to define hom for the lifted type directly.
2010-01-23, by Cezary Kaliszyk
Proper alpha equivalence for Sigma calculus.
2010-01-22, by Cezary Kaliszyk
Changed fun_map and rel_map to definitions.
2010-01-21, by Cezary Kaliszyk
Lifted Peter's Sigma lemma with Ex1.
2010-01-21, by Cezary Kaliszyk
less
more
|
(0)
-300
-100
-15
+15
+100
+300
+1000
tip