Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
15
+15
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
merged
20111228, by wenzelm
merged
20111228, by huffman
restate some lemmas to respect int/bin distinction
20111228, by huffman
simplify some proofs
20111228, by huffman
add lemma word_eq_iff
20111228, by huffman
restate lemma word_1_no in terms of Numeral1
20111228, by huffman
remove recursion combinator bin_rec;
20111228, by huffman
simplify definition of XOR for type int;
20111228, by huffman
simplify definition of OR for type int;
20111228, by huffman
simplify definition of NOT for type int
20111228, by huffman
add several new tests, most of which don't work yet
20111228, by huffman
fix typos
20111228, by huffman
remove some duplicate lemmas
20111228, by huffman
simplify proof
20111228, by huffman
replace 'lemmas' with explicit 'lemma'
20111228, by huffman
less
more

(0)
30000
10000
3000
1000
300
100
15
+15
+100
+300
+1000
+3000
+10000
tip