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 -15 +15 +100 +300 +1000 tip

add option for unify trace (now disabled by default as printing is excessive and rarely used);
11 months ago, by Fabian Huch
tuned unify trace option names;
11 months ago, by Fabian Huch
more scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche;
11 months ago, by wenzelm
updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
11 months ago, by wenzelm
merged
11 months ago, by nipkow
tuned name
11 months ago, by nipkow
new simplifier trace_op for tracing simproc calls
11 months ago, by nipkow
merged
11 months ago, by paulson
Some new material about Ramsey's theorem, also sharpening the proof to deliver the Erdős–Szekeres upper bound on Ramsey numbers
11 months ago, by paulson
support Zipperposition's skolemization in generated Isar proofs
11 months ago, by blanchet
improved output in simps_case_conv;
11 months ago, by Fabian Huch
improved output in inductive module;
11 months ago, by Fabian Huch
simplifier: no trace info from simprocs unless simp_debug = true.
11 months ago, by nipkow
deal with new-style Vampire skolemization in reconstructed Isar proofs
11 months ago, by blanchet
database performance tuning: prefer light-weight IPC over heavy-duty transactions;
11 months ago, by wenzelm

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

isabelle