Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
60
+60
+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.
dropped Id
20090216, by haftmann
dropped clause_suc_preproc for generic code generator
20090216, by haftmann
new primrec
20090216, by haftmann
Adapted to encoding of sets as predicates.
20090216, by berghofe
enable autosolve by default
20090216, by kleing
merged
20090216, by blanchet
Added nitpick attribute, and fixed typo.
20090216, by blanchet
Added myself to testing list.
20090216, by blanchet
dvd and setprod lemmas
20090215, by nipkow
merged
20090215, by nipkow
added finite_set_choice
20090215, by nipkow
reject defined function in patterns with errmsg, e.g. f (f x) = x
20090215, by krauss
fixed document
20090215, by nipkow
more finiteness
20090215, by nipkow
merged
20090215, by nipkow
more finiteness
20090215, by nipkow
merged
20090214, by nipkow
more finiteness
20090214, by nipkow
generalize lemma fps_square_eq_iff, move to Ring_and_Field
20090214, by huffman
generalize lemma eq_neg_iff_add_eq_0, and move to OrderedGroup
20090214, by huffman
add mult_delta lemmas; simplify some proofs
20090214, by huffman
fix spelling
20090214, by huffman
declare fps_nth as a typedef morphism; clean up instance proofs
20090214, by huffman
add lemma surj_from_nat
20090214, by huffman
fix document generation
20090214, by huffman
merged
20090214, by huffman
fix document generation
20090214, by huffman
section > subsection
20090213, by huffman
add instance for cancel_comm_monoid_add
20090213, by huffman
add class cancel_comm_monoid_add
20090213, by huffman
more finiteness changes
20090214, by nipkow
merged
20090213, by nipkow
finiteness lemmas
20090213, by nipkow
merged
20090213, by huffman
unset execute bit
20090213, by huffman
Tuned datatype antiquotation.
20090213, by berghofe
made SMLNJ happy
20090213, by haftmann
typo
20090213, by kleing
find_consts: display the search criteria. (by Timothy Bourke)
20090213, by kleing
find_consts: documentation. (by Timothy Bourke)
20090213, by kleing
FindTheorems solves: update documentation (by Timothy Bourke)
20090213, by kleing
fixed codegen tool
20090213, by haftmann
merged
20090213, by haftmann
fixed codegen tool
20090213, by haftmann
merged
20090213, by nipkow
Moved Nat_Int_Bij into Library
20090213, by nipkow
removed Reflection session
20090213, by haftmann
add lemma add_nonneg_eq_0_iff
20090212, by huffman
add lemmas about sgn
20090212, by huffman
added ML file for the find_consts command
20090213, by kleing
added find_consts to NEWS and CONTRIBUTORS
20090213, by kleing
New command find_consts searching for constants by type (by Timothy Bourke).
20090213, by kleing
fix document generation
20090212, by huffman
move countability proof from Rational to Countable; add instance rat :: countable
20090212, by huffman
Moved FTA into Lib and cleaned it up a little.
20090212, by nipkow
ordered_idom instance for polynomials
20090211, by huffman
Export tactic interface for sizechange method
20090211, by krauss
merged
20090211, by haftmann
liberal inst_meet
20090211, by haftmann
display code theorems with HOL equality
20090211, by haftmann
less
more

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