Mercurial
Mercurial
>
repos
>
testboard
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
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.
AddXIs [disjI1, disjI2];
19990909, by wenzelm
removed obsolete comment;
19990909, by wenzelm
lemma less_add;
19990908, by wenzelm
(un)fold: ignore facts;
19990908, by wenzelm
more rational theorem names (?)
19990908, by paulson
tidied
19990908, by paulson
more rational theorem names (?)
19990908, by paulson
ensures_tac now handles leadsTo as well as LeadsTo
19990908, by paulson
new theorem single_Diff_lessThan
19990908, by paulson
now uses the identity function
19990908, by paulson
simplification of relations involving 0, Suc and naturalnumber numerals
19990908, by paulson
generalized the theorem zless_zero_nat to zless_nat_eq_int_zless, and
19990908, by paulson
generalized the theorem bin_add_BIT_Min to bin_add_Min_right
19990908, by paulson
moved identity theorems to Fun.ML
19990908, by paulson
comments
19990908, by paulson
images and preimages of the identity function
19990908, by paulson
new example HOL/UNITY/TimerArray
19990908, by paulson
rule option;
19990907, by wenzelm
\indexisarmeth: "Methods";
19990907, by wenzelm
tuned (then_)apply;
19990907, by wenzelm
url;
19990907, by wenzelm
\url;
19990907, by wenzelm
induct method: rule option;
19990907, by wenzelm
Method.refine_no_facts;
19990907, by wenzelm
read_def_termT: dummyT;
19990907, by wenzelm
then_tac = refine;
19990907, by wenzelm
read_typ/term: context_of;
19990907, by wenzelm
tuned;
19990907, by wenzelm
added context_of;
19990907, by wenzelm
logtypes: pretend "dummy" is one;
19990907, by wenzelm
less
more

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