Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
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.
adaptions to changes in Equiv_Relation.thy
20101130, by haftmann
adapted fragile proof
20101130, by haftmann
adaptions to changes in Equiv_Relation.thy; prefer primrec if possible
20101130, by haftmann
adaptions to changes in Equiv_Relation.thy
20101130, by haftmann
merged
20101130, by haftmann
more systematic and compact proofs on type relation operators using natural deduction rules
20101130, by haftmann
adapted proofs to slightly changed definitions of congruent(2)
20101130, by haftmann
reorienting iff in Quotient_rel prevents simplifier looping;
20101129, by haftmann
replaced slightly odd locale congruent2 by plain definition
20101129, by haftmann
replaced slightly odd locale congruent by plain definition
20101129, by haftmann
equivI has replaced equiv.intro
20101129, by haftmann
moved generic definitions about (partial) equivalence relations from Quotient to Equiv_Relations;
20101129, by haftmann
moved generic definitions about relations from Quotient.thy to Predicate;
20101129, by haftmann
moved generic definitions about (partial) equivalence relations from Quotient to Equiv_Relations;
20101129, by haftmann
simplify proof of LIMSEQ_unique
20101130, by huffman
less
more

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