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.
instances for class discrete_cpo
20080131, by huffman
new lemma cont_discrete_cpo
20080131, by huffman
new discrete_cpo axclass
20080131, by huffman
temporary adjustions
20080131, by haftmann
explicit del_funcs
20080131, by haftmann
proper term_of functions
20080131, by haftmann
avoiding dynamic simpset lookup
20080131, by haftmann
new lemma is_lub_Pair; cleaned up some proofs
20080131, by huffman
commented stuff out
20080130, by nipkow
added multiset comprehension
20080130, by nipkow
idempotent semigroups
20080130, by haftmann
dual orders and dual lattices
20080130, by haftmann
Theorem Inductive.lfp_ordinal_induct generalized to complete lattices
20080130, by haftmann
new termbuilding combinators
20080129, by huffman
cleaned up evaluation interfaces
20080129, by haftmann
less
more

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