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 printing of exception trace in Poly/ML 5.5.1;
2013-09-18, by wenzelm
more antiquotations;
2013-09-18, by wenzelm
moved module into plain Isabelle/ML user space;
2013-09-18, by wenzelm
more primcorec tactics
2013-09-18, by blanchet
enrich data structure
2013-09-18, by blanchet
include more "discI" rules
2013-09-18, by blanchet
updated docs
2013-09-18, by blanchet
tuning (alphabetical order)
2013-09-18, by blanchet
removed spurious "simp"
2013-09-18, by blanchet
note "discI"
2013-09-18, by blanchet
tuned tactics
2013-09-18, by blanchet
no need thanks to "Code.abort"
2013-09-18, by blanchet
minor change related to code equations in primcorec
2013-09-18, by blanchet
don't unfold as eager as in 11a77e4aa98b
2013-09-18, by traytel
tuned proofs
2013-09-18, by traytel
use singular to avoid confusion
2013-09-18, by blanchet
new tactics for constructor view
2013-09-18, by blanchet
tuning
2013-09-18, by blanchet
fixed embarrassing typo in example
2013-09-18, by blanchet
avoid duplicate simp rule warnings
2013-09-18, by blanchet
added and tuned lemmas
2013-09-18, by nipkow
tuned proofs;
2013-09-18, by wenzelm
updated to official polyml-5.5.1;
2013-09-17, by wenzelm
updated to polyml-5.5.1;
2013-09-17, by wenzelm
actually use x86_64 machine;
2013-09-17, by wenzelm
correct merging of restore data
2013-09-17, by kuncar
order_bot, order_top
2013-09-17, by lammich
include Int_Pow into Quotient_Examples; add end of the theory
2013-09-17, by kuncar
NEWS: Simps_Case_Conv
2013-09-17, by noschinl
added lemmas and made concerse executable
2013-09-17, by nipkow

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

isabelle