2015-04-17 |
wenzelm |
added Eisbach, using version 3752768caa17 of its Bitbucket repository;
|
file |
diff |
annotate
|
2015-04-11 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2015-04-08 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2015-03-25 |
blanchet |
more multiset theorems
|
file |
diff |
annotate
|
2014-12-05 |
hoelzl |
add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav
|
file |
diff |
annotate
|
2014-10-08 |
Andreas Lochbihler |
move Code_Test to HOL/Library;
|
file |
diff |
annotate
|
2014-09-06 |
haftmann |
theory about lexicographic ordering on functions
|
file |
diff |
annotate
|
2014-08-22 |
haftmann |
generic euclidean algorithm (due to Manuel Eberl)
|
file |
diff |
annotate
|
2014-08-10 |
wenzelm |
merged -- with manual conflict resolution for src/HOL/SMT_Examples/SMT_Examples.certs2, src/HOL/SMT_Examples/SMT_Word_Examples.certs2, src/Doc/Prog_Prove/document/intro-isabelle.tex;
|
file |
diff |
annotate
|
2014-08-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2014-07-30 |
wenzelm |
CONTRIBUTORS;
|
file |
diff |
annotate
|
2014-07-27 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
2014-07-05 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
2014-07-05 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2014-07-05 |
kleing |
added Tom's hyp_subst update
|
file |
diff |
annotate
|
2014-07-01 |
paulson |
for new release
|
file |
diff |
annotate
|
2014-07-01 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
2014-06-28 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
2014-06-16 |
hoelzl |
lemmas about the moments of the normal distribution
|
file |
diff |
annotate
|
2014-06-13 |
hoelzl |
properties of normal distributed random variables (by Sudeep Kanav)
|
file |
diff |
annotate
|
2014-06-12 |
hoelzl |
properties of Erlang and exponentially distributed random variables (by Sudeep Kanav)
|
file |
diff |
annotate
|
2014-06-11 |
blanchet |
updated contributors to include students
|
file |
diff |
annotate
|
2014-05-20 |
blanchet |
CONTRIBUTORS
|
file |
diff |
annotate
|
2014-04-05 |
haftmann |
avoid romanism
|
file |
diff |
annotate
|
2014-04-05 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
2014-03-14 |
blanchet |
updated NEWS and CONTRIBUTORS (BNF, SMT2, Sledgehammer)
|
file |
diff |
annotate
|
2014-03-05 |
wenzelm |
proper UTF-8;
|
file |
diff |
annotate
|
2014-03-04 |
nipkow |
added contributor
|
file |
diff |
annotate
|
2014-02-04 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
2013-11-11 |
wenzelm |
merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
|
file |
diff |
annotate
|
2013-11-05 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-10-28 |
noschinl |
CONTRIBUTORS
|
file |
diff |
annotate
|
2013-10-03 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
2013-10-03 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-10-02 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-10-02 |
traytel |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-10-02 |
kuncar |
typo
|
file |
diff |
annotate
|
2013-10-02 |
kuncar |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-10-01 |
blanchet |
minor textual changes
|
file |
diff |
annotate
|
2013-09-29 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2013-09-29 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2013-09-20 |
blanchet |
updated CONTRIBUTORS
|
file |
diff |
annotate
|
2013-09-18 |
blanchet |
updated NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-09-10 |
krauss |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-09-04 |
wenzelm |
more contributors;
|
file |
diff |
annotate
|
2013-08-30 |
blanchet |
updated news/contributors with BNF stuff
|
file |
diff |
annotate
|
2013-08-23 |
wenzelm |
clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
|
file |
diff |
annotate
|
2013-08-07 |
wenzelm |
more NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
2013-07-02 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2013-06-30 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
2013-05-31 |
bulwahn |
NEWS about Spec_Check
|
file |
diff |
annotate
|
2013-04-10 |
traytel |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2013-03-23 |
haftmann |
fundamental revision of big operators on sets
|
file |
diff |
annotate
|
2013-03-23 |
haftmann |
locales for abstract orders
|
file |
diff |
annotate
|
2013-02-17 |
haftmann |
Sieve of Eratosthenes
|
file |
diff |
annotate
|
2013-02-17 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
2013-01-20 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
2013-01-20 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2013-01-20 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2012-12-31 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
2012-12-17 |
nipkow |
new contributor
|
file |
diff |
annotate
|
2012-11-26 |
blanchet |
added file headers
|
file |
diff |
annotate
|
2012-11-26 |
blanchet |
updated NEWS etc.
|
file |
diff |
annotate
|
2012-11-24 |
wenzelm |
more NEWS/CONTRIBUTORS;
|
file |
diff |
annotate
|
2012-11-21 |
hoelzl |
CONTRIBUTION: add fabians work
|
file |
diff |
annotate
|
2012-10-10 |
Andreas Lochbihler |
efficient construction of red black trees from sorted associative lists
|
file |
diff |
annotate
|
2012-09-22 |
wenzelm |
some PIDE NEWS from this summer;
|
file |
diff |
annotate
|
2012-09-21 |
blanchet |
renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
|
file |
diff |
annotate
|
2012-09-20 |
Andreas Lochbihler |
NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
|
file |
diff |
annotate
|
2012-09-07 |
haftmann |
lattice instances for option type
|
file |
diff |
annotate
|
2012-09-04 |
Christian Sternagel |
NEWS; CONTRIBUTORS
|
file |
diff |
annotate
|
2012-08-28 |
blanchet |
updated NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2012-07-28 |
wenzelm |
announce advanced support for Isabelle sessions and build management;
|
file |
diff |
annotate
|
2012-06-25 |
wenzelm |
ignore morphism more explicitly;
|
file |
diff |
annotate
|
2012-06-21 |
bulwahn |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2012-05-02 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
2012-04-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2012-04-23 |
kuncar |
CONTRIBUTORS
|
file |
diff |
annotate
|
2012-04-23 |
hoelzl |
CONTRIBUTORS
|
file |
diff |
annotate
|
2012-04-17 |
Thomas Sewell |
New tactic "word_bitwise" expands word equalities/inequalities into logic.
|
file |
diff |
annotate
|
2012-04-18 |
blanchet |
Sledgehammer NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2012-04-15 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
2012-04-14 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
2012-04-13 |
bulwahn |
NEWS
|
file |
diff |
annotate
|
2012-04-10 |
wenzelm |
some coverage of HOL/TPTP;
|
file |
diff |
annotate
|
2012-04-01 |
krauss |
less modest NEWS; CONTRIBUTORS
|
file |
diff |
annotate
|
2012-02-23 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
2011-09-26 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
2011-09-18 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
2011-09-12 |
huffman |
fix typo
|
file |
diff |
annotate
|
2011-09-12 |
huffman |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2011-09-12 |
hoelzl |
adding NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2011-09-12 |
bulwahn |
merged
|
file |
diff |
annotate
|
2011-09-12 |
bulwahn |
moving connection of association lists to Mappings into a separate theory
|
file |
diff |
annotate
|
2011-09-12 |
blanchet |
added my contributions to NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2011-09-11 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
2011-09-07 |
wenzelm |
merged
|
file |
diff |
annotate
|
2011-09-07 |
haftmann |
theory of saturated naturals contributed by Peter Gammie
|
file |
diff |
annotate
|
2011-09-07 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
2011-01-17 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
2011-01-16 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
2011-01-15 |
berghofe |
Added entry for HOL-SPARK
|
file |
diff |
annotate
|
2011-01-12 |
krauss |
CONTRIBUTORS
|
file |
diff |
annotate
|
2011-01-11 |
wenzelm |
updated to Isabelle2011;
|
file |
diff |
annotate
|
2010-11-05 |
wenzelm |
proper spelling;
|
file |
diff |
annotate
|
2010-11-05 |
hoelzl |
Extend convex analysis by Bogdan Grechuk
|
file |
diff |
annotate
|
2010-10-29 |
wenzelm |
CONTRIBUTORS;
|
file |
diff |
annotate
|
2010-10-25 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
2010-09-23 |
haftmann |
CONTRIBUTORS and NEWS
|
file |
diff |
annotate
|
2010-08-23 |
hoelzl |
Rewrite the Probability theory.
|
file |
diff |
annotate
|
2010-08-17 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2010-06-07 |
wenzelm |
back to non-release mode;
|
file |
diff |
annotate
|
2010-06-03 |
krauss |
CONTRIBUTORS
|
file |
diff |
annotate
|
2010-06-02 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
2010-05-27 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
2010-04-27 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
2009-12-04 |
wenzelm |
back to after-release mode;
|
file |
diff |
annotate
|
2009-11-25 |
wenzelm |
tuned affiliation;
|
file |
diff |
annotate
|
2009-11-25 |
boehmes |
extended list of HOL-Boogie contributors
|
file |
diff |
annotate
|
2009-11-23 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|