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 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

more stats;
2009-08-27, by wenzelm
tuned tracing;
2009-08-27, by wenzelm
merged
2009-08-27, by wenzelm
avoid macbroy21 for now -- hardware problems;
2009-08-27, by wenzelm
tuned code generation for lists
2009-08-27, by nipkow
merged
2009-08-26, by nipkow
got rid of complicated class finite_intvl_succ and defined "upto" directly on int, the only instance of the class.
2009-08-26, by nipkow
merged
2009-08-26, by chaieb
merged
2009-08-26, by chaieb
removed unused theorem finite_Atleast_Atmost
2009-08-26, by chaieb
merged
2009-05-19, by chaieb
Derivative of general reverses
2009-05-19, by chaieb
merged
2009-08-26, by nipkow
new interval lemma
2009-08-26, by nipkow
merged
2009-08-26, by paulson
Simplified some proofs using metis.
2009-08-26, by paulson
merged
2009-08-21, by paulson
sledgehammer used to streamline protocol proofs
2009-08-14, by paulson
Put back characters that had been erased by Emacs
2009-08-14, by paulson
added further conversions and conversionals
2009-08-26, by boehmes
merged
2009-08-26, by nipkow
new lemmas
2009-08-26, by nipkow
some examples for giving measures manually
2009-08-24, by krauss
stricter condition for (binary) integer relation
2009-08-24, by boehmes
more quoting for shell variables, canonical isabelle process
2009-08-24, by boehmes
keep the modified (tested) theory,
2009-08-24, by boehmes
do not introduce additional newlines
2009-08-24, by boehmes
tuned;
2009-08-22, by wenzelm
generalized settings;
2009-08-22, by wenzelm
removed jedit setup -- now a self-contained component (external);
2009-08-22, by wenzelm
less ambitious array operations -- for improved compatibility with older versions of bash;
2009-08-22, by wenzelm
function splitarray: splightly more abstract version that accomodates older bashes;
2009-08-22, by wenzelm
fix IsaMakefile, removing mirabelle (not in HOL/ex/ROOT.ML anyway)
2009-08-21, by krauss
added Mirabelle to NEWS
2009-08-21, by boehmes
merged
2009-08-21, by boehmes
disabled refute action (needs changes in the code of refute)
2009-08-21, by boehmes
split actions from Mirabelle core (Mirabelle may thus be applied to basic theories in HOL)
2009-08-21, by boehmes
moved Mirabelle to HOL/Tools
2009-08-21, by boehmes
moved Mirabelle to HOL/Tools
2009-08-21, by boehmes
Mirabelle tool script conforming to standard Isabelle tool interface,
2009-08-21, by boehmes
made Mirabelle a component
2009-08-17, by boehmes
A few Isar scripts
2009-08-20, by paulson
additional checkpoints avoid problems in error situations
2009-08-15, by haftmann
tuned
2009-08-15, by haftmann
removed atp_minimize invocation
2009-08-14, by krauss
reverted accidential corruption of superscripts introduced in a508148f7c25
2009-08-14, by krauss
merged
2009-08-14, by haftmann
inserted space into message
2009-08-14, by haftmann
formally stylized
2009-08-14, by haftmann
formally stylized
2009-08-14, by haftmann
corrected Pair to Char
2009-08-14, by haftmann
merged
2009-08-14, by webertj
Fixed a bug where the simplifier would hang on
2009-08-14, by webertj
merged
2009-08-13, by paulson
Removal of redundant settings of unification trace and search bounds.
2009-08-13, by paulson
Demonstrations of sledgehammer in protocol proofs.
2009-08-13, by paulson
added PARALLEL_CHOICE, PARALLEL_GOALS;
2009-08-12, by wenzelm
merged
2009-08-11, by wenzelm
SOS: function to set default prover; output channel changed
2009-08-10, by Philipp Meyer
interrupt handler for neos csdp client
2009-08-10, by Philipp Meyer

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

isabelle