Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-100
-15
+15
+100
+300
+1000
+3000
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.
changed the definitions of liftet constants to use fun_maps
2009-10-24, by Christian Urban
Merge
2009-10-24, by cek
Finally lifted induction, with some manually added simplification lemmas.
2009-10-24, by Cezary Kaliszyk
changed encoding from utf8 to ISO8 (needed to work with xemacs)
2009-10-24, by Christian Urban
Merge
2009-10-24, by cek
Preparing infrastructire for LAMBDA_PRS
2009-10-24, by Cezary Kaliszyk
moved the map_funs setup into QuotMain
2009-10-24, by Christian Urban
Finally completely lift the previously lifted theorems + clean some old stuff
2009-10-24, by Cezary Kaliszyk
More infrastructure for automatic lifting of theorems lifted before
2009-10-24, by Cezary Kaliszyk
More infrastructure for automatic lifting of theorems lifted before
2009-10-24, by Cezary Kaliszyk
Undid wrong merge
2009-10-24, by cek
Tried rolling back
2009-10-24, by cek
Cleaning the mess
2009-10-24, by cek
Merge
2009-10-24, by cek
Better tactic and simplified the proof further
2009-10-24, by cek
less
more
|
(0)
-100
-15
+15
+100
+300
+1000
+3000
tip