Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
50
30
+30
+50
+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 JavaScriptenabled browsers.
comments edited
20041125, by webertj
added ZCHAFF_VERSION
20041125, by webertj
added ZCHAFF_VERSION
20041125, by webertj
ML
20041125, by paulson
Removed a "Matches are not exhaustive" warning
20041124, by webertj
mod because of change in finite set induction
20041124, by nipkow
changed the order of !!quantifiers in finite set induction.
20041124, by nipkow
Made test_term escape special characters in strings that caused the
20041124, by berghofe
Functions nat_to_bv and bv_to_nat now really operate on natural numbers.
20041124, by berghofe
Added EfficientNat
20041124, by berghofe
Code generator plugin for implementing natural numbers by integers.
20041124, by berghofe
Added Library/EfficientNat
20041124, by berghofe
Reimplemented some operations on "code lemma" table to avoid that code
20041124, by berghofe
New theorem zpower_int
20041124, by berghofe
*** empty log message ***
20041124, by nipkow
prettier proof of setsum_diff
20041123, by obua
HTML conformity
20041123, by webertj
renamed 1 lemmas
20041123, by nipkow
renamed 2 lemmas
20041123, by nipkow
relaxed type constraints of lemmas: setsum_nonneg, setsum_nonpos, setsum_negf, setsum_Un_ring
20041123, by obua
external solvers may now overwrite existing temporary files
20041123, by webertj
added lemma
20041123, by nipkow
Added lemmas setsum_mono, finite_setsum_diff1, finite_setsum_diff
20041123, by obua
*** empty log message ***
20041123, by nipkow
generalized lemma
20041123, by nipkow
added lemma
20041123, by nipkow
indentation
20041122, by paulson
fixed proof
20041122, by nipkow
added lemmas
20041122, by nipkow
Added more lemmas
20041121, by nipkow
less
more

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