Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
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.
add simp rule LAM_strict
2010-03-07, by huffman
fix bug that occurred with 'domain_isomorphism foo = foo * tr * tr'
2010-03-07, by huffman
merged
2010-03-07, by haftmann
dropped dead code; adhere more closely to standard coding conventions
2010-03-07, by haftmann
merged
2010-03-07, by huffman
arith tactic uses 'priority' instead of 'warning' to print messages
2010-03-07, by huffman
add simp rules about Ints, Nats
2010-03-07, by huffman
add more simp rules for Ints
2010-03-07, by huffman
add lemmas Nats_cases and Nats_induct
2010-03-07, by huffman
generalize some lemmas, and remove a few unnecessary ones
2010-03-07, by huffman
generalize some lemmas from class linordered_ring_strict to linordered_ring
2010-03-06, by huffman
add case_names attribute to casedist and ind rules
2010-03-06, by huffman
add some lemmas about complete lattices
2010-03-06, by huffman
Digesting strings according to SHA-1.
2010-03-07, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip