Mercurial
Mercurial
>
repos
>
isabelle
/ 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
+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
use new 'file' antiquotation for reference to Dedekind_Real.thy
20101130, by huffman
merged
20101130, by huffman
instance list :: (discrete_cpo) discrete_cpo;
20101129, by huffman
merged
20101130, by boehmes
also support higherorder rules for Z3 proof reconstruction
20101129, by boehmes
merged
20101129, by wenzelm
less ghcspecific pragma
20101129, by haftmann
tuned
20101129, by haftmann
updated generated files;
20101129, by wenzelm
added document antiquotation @{file};
20101129, by wenzelm
Parse.liberal_name for document antiquotations and attributes;
20101128, by wenzelm
ML results: enter before printing (cf. Poly/ML SVN 1218);
20101128, by wenzelm
merged
20101128, by wenzelm
merged
20101128, by huffman
merged
20101128, by huffman
less
more

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