| 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
|
| 2009-11-22 |
wenzelm |
more NEWS, more tuning for release;
|
file |
diff |
annotate
|
| 2009-11-22 |
wenzelm |
misc tuning and updates for official release;
|
file |
diff |
annotate
|
| 2009-11-19 |
hoelzl |
Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS
|
file |
diff |
annotate
|
| 2009-11-12 |
bulwahn |
added a tabled implementation of the reflexive transitive closure
|
file |
diff |
annotate
|
| 2009-11-12 |
bulwahn |
announcing the predicate compiler in NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2009-11-03 |
boehmes |
added HOL-Boogie
|
file |
diff |
annotate
|
| 2009-10-26 |
blanchet |
merged
|
file |
diff |
annotate
|
| 2009-10-22 |
blanchet |
added Nitpick's theory and ML files to Isabelle/HOL;
|
file |
diff |
annotate
|
| 2009-10-26 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
| 2009-10-20 |
boehmes |
added proof reconstructon for Z3,
|
file |
diff |
annotate
|
| 2009-10-19 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
| 2009-09-29 |
wenzelm |
Thomas Sewell, NICTA: more efficient HOL/record implementation;
|
file |
diff |
annotate
|
| 2009-09-18 |
boehmes |
added new method "smt": an oracle-based connection to external SMT solvers
|
file |
diff |
annotate
|
| 2009-09-18 |
haftmann |
tuned NEWS, added CONTRIBUTORS
|
file |
diff |
annotate
|
| 2009-07-24 |
Philipp Meyer |
Functionality for sum of squares to call a remote csdp prover
|
file |
diff |
annotate
|
| 2009-07-14 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2009-06-05 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
| 2009-04-25 |
wenzelm |
post Isabelle2009 version;
|
file |
diff |
annotate
|
| 2009-04-08 |
wenzelm |
updated official title of contribution by Johannes Hoelzl;
|
file |
diff |
annotate
|
| 2009-03-09 |
wenzelm |
more contributors;
|
file |
diff |
annotate
|
| 2009-02-28 |
wenzelm |
A Serbian theory, by Filip Maric.
|
file |
diff |
annotate
|
| 2009-02-28 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
| 2009-02-27 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
| 2009-02-12 |
kleing |
added find_consts to NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2009-02-11 |
kleing |
updated NEWS etc with "solves" criterion and auto_solves
|
file |
diff |
annotate
|
| 2009-01-08 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2008-12-27 |
krauss |
tuned NEWS; CONTRIBUTORS
|
file |
diff |
annotate
|
| 2008-12-20 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| 2008-11-28 |
kleing |
added Tim's find_theorems performance patch
|
file |
diff |
annotate
|
| 2008-10-15 |
wenzelm |
generic ATP manager based on threads (by Fabian Immler);
|
file |
diff |
annotate
|
| 2008-10-03 |
wenzelm |
Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
|
file |
diff |
annotate
|
| 2008-05-28 |
wenzelm |
more contribs;
|
file |
diff |
annotate
|
| 2008-05-12 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| 2008-04-22 |
haftmann |
added entries
|
file |
diff |
annotate
|
| 2008-03-05 |
wenzelm |
HOL/Library/RBT.thy;
|
file |
diff |
annotate
|
| 2007-11-26 |
wenzelm |
Peter Lammich: HOL-Lattice lemmas;
|
file |
diff |
annotate
|
| 2007-11-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2007-11-20 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2007-11-12 |
schirmer |
fixed typo;
|
file |
diff |
annotate
|
| 2007-11-11 |
wenzelm |
HOL-Statespace;
|
file |
diff |
annotate
|
| 2007-10-16 |
wenzelm |
Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
|
file |
diff |
annotate
|
| 2007-10-01 |
wenzelm |
Norbert Schirmer: record improvements;
|
file |
diff |
annotate
|
| 2007-10-01 |
wenzelm |
misc tuning and update;
|
file |
diff |
annotate
|
| 2007-08-20 |
kleing |
* HOL-Word:
|
file |
diff |
annotate
|
| 2007-08-19 |
kleing |
boolean algebras as locales and numbers as types by Brian Huffman
|
file |
diff |
annotate
|
| 2007-06-21 |
paulson |
integration of Metis prover
|
file |
diff |
annotate
|
| 2007-06-14 |
kleing |
clarified who we consider to be a contributor
|
file |
diff |
annotate
|
| 2007-06-05 |
wenzelm |
Semiring normalization and Groebner Bases.
|
file |
diff |
annotate
|
| 2007-03-16 |
haftmann |
updated
|
file |
diff |
annotate
|
| 2006-11-08 |
wenzelm |
* November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".
|
file |
diff |
annotate
|
| 2006-11-04 |
wenzelm |
* October 2006: Stefan Hohe, TUM;
|
file |
diff |
annotate
|
| 2006-08-05 |
wenzelm |
Amine Chaieb: experimental generic reflection and reification in HOL;
|
file |
diff |
annotate
|
| 2006-07-10 |
kleing |
hex and binary numerals (contributed by Rafal Kolanski)
|
file |
diff |
annotate
|
| 2006-06-15 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2006-05-16 |
wenzelm |
Amine Chaieb: Ferrante and Rackoff Algorithm;
|
file |
diff |
annotate
|
| 2006-04-26 |
kleing |
added Ben Porter's stuff
|
file |
diff |
annotate
|
| 2005-10-14 |
wenzelm |
more;
|
file |
diff |
annotate
|
| 2005-09-25 |
wenzelm |
more;
|
file |
diff |
annotate
|
| 2005-09-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2005-09-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2005-09-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|