Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
15
+15
+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.
Fixed "axiom" generation for mixed locales with and without predicates.
20050608, by ballarin
added some notes
20050608, by haftmann
added file acces rights handling
20050608, by haftmann
fix usage of inverts lemma, which has fewer premises now
20050608, by huffman
faster proofs of inverts and injects lemmas, with fewer strictness hypotheses
20050608, by huffman
fixed renamed lemma
20050608, by huffman
major cleanup: rewrote cpo proofs, removed obsolete lemmas, renamed some lemmas
20050608, by huffman
added theorems is_ub_range_shift and is_lub_range_shift
20050608, by huffman
added theorems less_sprod, spair_less, spair_eq, spair_inject
20050608, by huffman
renamed theorems less_ssum4a,b,c,d to more meaningful names
20050608, by huffman
added theorem less_cprod
20050608, by huffman
added theorem injection_less
20050608, by huffman
A flag DEFS_CHAIN_HISTORY can be used to improve the error message
20050607, by obua
extended readme
20050607, by haftmann
started migration framwork script
20050607, by haftmann
less
more

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