Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
50
30
+30
+50
+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.
tuned;
20111229, by wenzelm
comments;
20111229, by wenzelm
remove constant 'ccpo.lub', reuse constant 'Sup' instead
20111229, by huffman
merged
20111229, by nipkow
tuned
20111229, by nipkow
conversions from sets to predicates and vice versa; extensionality on predicates
20111229, by haftmann
added implementation of pred_of_set
20111229, by haftmann
fundamental theorems on Set.bind
20111229, by haftmann
updated generated files;
20111229, by wenzelm
qualified Finite_Set.fold
20111229, by haftmann
qualified Finite_Set.fold
20111229, by haftmann
dropped redundant setup
20111229, by haftmann
tuned declaration
20111229, by haftmann
attribute code_abbrev superseedes code_unfold_post; tuned text
20111229, by haftmann
attribute code_abbrev superseedes code_unfold_post; tuned names and spacing
20111229, by haftmann
attribute code_abbrev superseedes code_unfold_post
20111229, by haftmann
semiring_numeral_0_eq_0, semiring_numeral_1_eq_1 now [simp], superseeding corresponding simp rules on type nat; attribute code_abbrev superseedes code_unfold_post
20111229, by haftmann
semiring_numeral_0_eq_0, semiring_numeral_1_eq_1 now [simp], superseeding corresponding simp rules on type nat
20111229, by haftmann
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
less
more

(0)
30000
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
tip