Mercurial
Mercurial
>
repos
>
testboard
/ 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.
merged
20110906, by haftmann
merged
20110906, by haftmann
merged
20110906, by haftmann
tuned
20110905, by haftmann
merged
20110905, by haftmann
tuned
20110905, by haftmann
tuned
20110904, by haftmann
fixed computation of "in_conj" for polymorphic encodings
20110908, by blanchet
add some new lemmas about cis and rcis;
20110907, by huffman
Complex.thy: move theorems into appropriate subsections
20110907, by huffman
merged
20110907, by huffman
remove redundant lemma complex_of_real_minus_one
20110907, by huffman
simplify proof of lemma DeMoivre, removing unnecessary intermediate lemma
20110907, by huffman
removed unused lemma sin_cos_squared_add2_mult
20110907, by huffman
remove duplicate lemma real_of_int_real_of_nat in favor of real_of_int_of_nat_eq
20110907, by huffman
avoid using legacy theorem names
20110907, by huffman
merged
20110908, by wenzelm
theory of saturated naturals contributed by Peter Gammie
20110907, by haftmann
theory of saturated naturals contributed by Peter Gammie
20110907, by haftmann
lemmas about +, *, min, max on nat
20110907, by haftmann
update Sledgehammer docs
20110907, by blanchet
added new tagged encodings to Metis tests
20110907, by blanchet
also implemented ghost version of the tagged encodings
20110907, by blanchet
added new guards encoding to test
20110907, by blanchet
smarter explicit apply business
20110907, by blanchet
started work on ghost type arg encoding
20110907, by blanchet
stricted type encoding parsing
20110907, by blanchet
more substructural sharing to gain significant compression;
20110908, by wenzelm
XML.cache for partial sharing (strings only);
20110907, by wenzelm
platformspecific look and feel;
20110907, by wenzelm
less
more

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