isabelle: Graph

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 tip

Improved error reporting when activating a locale instance.
2016-08-25, by ballarin
Deprivatisation of lemmas in Polynomial_Factorial
2016-08-25, by Manuel Eberl
More analysis lemmas
2016-08-25, by Manuel Eberl
added lemma
2016-08-24, by nipkow
tuned signature
2016-08-23, by traytel
replaced the confusing int parameter by bool
2016-08-19, by nipkow
remove spurious find_theorems
2016-08-18, by hoelzl
HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned
2016-08-18, by hoelzl
removed debug output
2016-08-18, by traytel
derive pred_mono property for BNFs
2016-08-18, by traytel
Tuned L'Hospital
2016-08-17, by eberlm
merged
2016-08-17, by boehmes
more complete simpset for linear arithmetic to avoid warnings: terms such as (2x + 2y)/2 can then be simplified by the linear arithmetic prover during its proof replay
2016-08-17, by boehmes
merged
2016-08-17, by traytel
coinduction method accepts a list of coinduction rules (takes the first matching one)
2016-03-04, by traytel
more robust;
2016-08-16, by wenzelm
clarified presentation order, according to typical amounts;
2016-08-16, by wenzelm
present ML timing as well;
2016-08-16, by wenzelm
Polynomial algebra cleanup (tuned)
2016-08-16, by eberlm
Polynomial algebra cleanup
2016-08-16, by eberlm
provide index.html;
2016-08-14, by wenzelm
cpu time is optional (see Timing.message_resources);
2016-08-14, by wenzelm
proper display of "_";
2016-08-14, by wenzelm
clarified options and arguments;
2016-08-14, by wenzelm
updated NEWS
2016-08-14, by blanchet
optimized parent computation in MaSh
2016-08-14, by blanchet
avoid loading MaSh file first time around for higher responsiveness of Sledgehammer
2016-08-14, by blanchet
tuned MaSh's metacharacters to avoid needless decoding
2016-08-14, by blanchet
optimization in MaSh parsing
2016-08-14, by blanchet
tuned ML
2016-08-14, by blanchet

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

isabelle