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 tip

check that Isar proofs contain one 'show'
22 months ago, by blanchet
include unnamed chained facts in Sledgehammer's relevance filter
22 months ago, by blanchet
merge
22 months ago, by blanchet
removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a strange semantics
22 months ago, by blanchet
don't freeze terms in Sledgehammer, as this has a bad impact on 'using' facts
22 months ago, by blanchet
tuned T functions: now 0 if not recursive
22 months ago, by nipkow
minor performance tuning;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
more zproofs;
22 months ago, by wenzelm
misc tuning and clarification;
22 months ago, by wenzelm
more zproofs;
22 months ago, by wenzelm
more operations;
22 months ago, by wenzelm
more operations;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
more zproofs;
22 months ago, by wenzelm
more ML pretty-printing;
22 months ago, by wenzelm
clarified const_proof vs. zproof_name;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
more zproofs;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
more operations;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
more zterm operations;
22 months ago, by wenzelm
compactified specification of type class parity
22 months ago, by haftmann
generalized
22 months ago, by haftmann
explicit annotation of lemma duplicates
22 months ago, by haftmann
merged
22 months ago, by wenzelm
clarified proof_body: cover zboxes from zproof;
22 months ago, by wenzelm

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

isabelle