Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
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.
improved errors;
20001219, by wenzelm
*** empty log message ***
20001218, by nipkow
*** empty log message ***
20001218, by nipkow
new simproc for cancelling common factors, etc.
20001218, by paulson
moved mk_bin from Numerals to HOLogic
20001218, by nipkow
added rational arithmetic
20001218, by nipkow
towards rtional arithmetic
20001218, by nipkow
tidying and adding new proofs
20001218, by paulson
loads the new simproc extract_common_term
20001218, by paulson
'def': \<equiv>;
20001216, by wenzelm
tuned HOL/Real/HahnBanach;
20001216, by wenzelm
'def': equiv;
20001216, by wenzelm
\isasymequiv;
20001216, by wenzelm
updated;
20001215, by wenzelm
corrected errors;
20001215, by bauerg
usedir m brackets;
20001215, by wenzelm
GPLed;
20001215, by wenzelm
tuned comment;
20001215, by wenzelm
restore \int (integral);
20001215, by wenzelm
tuned symbols;
20001215, by wenzelm
further round of tidying
20001215, by paulson
*** empty log message ***
20001215, by nipkow
'typedef': present result theorem "type_definition Rep Abs A";
20001214, by wenzelm
tuned;
20001214, by wenzelm
unsymbolize;
20001214, by wenzelm
use \<Sum> from main HOL;
20001214, by wenzelm
added Summation;
20001214, by wenzelm
many new proofs; still needs tidying
20001214, by paulson
new theorem real_lbound_gt_zero
20001214, by paulson
updated;
20001213, by wenzelm
less
more

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