| 2009-06-05 |
haftmann |
2009-06-05 |
CONTRIBUTORS
|
file | diff | annotate |
| 2009-04-25 |
wenzelm |
2009-04-25 |
post Isabelle2009 version;
|
file | diff | annotate |
| 2009-04-08 |
wenzelm |
2009-04-08 |
updated official title of contribution by Johannes Hoelzl;
|
file | diff | annotate |
| 2009-03-09 |
wenzelm |
2009-03-09 |
more contributors;
|
file | diff | annotate |
| 2009-02-28 |
wenzelm |
2009-02-28 |
A Serbian theory, by Filip Maric.
|
file | diff | annotate |
| 2009-02-28 |
wenzelm |
2009-02-28 |
more CONTRIBUTORS;
fixed some dates;
|
file | diff | annotate |
| 2009-02-27 |
wenzelm |
2009-02-27 |
more CONTRIBUTORS;
|
file | diff | annotate |
| 2009-02-13 |
kleing |
2009-02-13 |
added find_consts to NEWS and CONTRIBUTORS
|
file | diff | annotate |
| 2009-02-11 |
kleing |
2009-02-11 |
updated NEWS etc with "solves" criterion and auto_solves
|
file | diff | annotate |
| 2009-01-08 |
haftmann |
2009-01-08 |
NEWS and CONTRIBUTORS
|
file | diff | annotate |
| 2008-12-27 |
krauss |
2008-12-27 |
tuned NEWS; CONTRIBUTORS
|
file | diff | annotate |
| 2008-12-20 |
wenzelm |
2008-12-20 |
removed Ids;
|
file | diff | annotate |
| 2008-11-28 |
kleing |
2008-11-28 |
added Tim's find_theorems performance patch
|
file | diff | annotate |
| 2008-10-15 |
wenzelm |
2008-10-15 |
generic ATP manager based on threads (by Fabian Immler);
|
file | diff | annotate |
| 2008-10-03 |
wenzelm |
2008-10-03 |
Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
|
file | diff | annotate |
| 2008-05-28 |
wenzelm |
2008-05-28 |
more contribs;
|
file | diff | annotate |
| 2008-05-12 |
wenzelm |
2008-05-12 |
misc tuning;
|
file | diff | annotate |
| 2008-04-22 |
haftmann |
2008-04-22 |
added entries
|
file | diff | annotate |
| 2008-03-05 |
wenzelm |
2008-03-05 |
HOL/Library/RBT.thy;
|
file | diff | annotate |
| 2007-11-26 |
wenzelm |
2007-11-26 |
Peter Lammich: HOL-Lattice lemmas;
|
file | diff | annotate |
| 2007-11-21 |
wenzelm |
2007-11-21 |
tuned;
|
file | diff | annotate |
| 2007-11-20 |
wenzelm |
2007-11-20 |
tuned;
|
file | diff | annotate |
| 2007-11-12 |
schirmer |
2007-11-12 |
fixed typo;
|
file | diff | annotate |
| 2007-11-11 |
wenzelm |
2007-11-11 |
HOL-Statespace;
|
file | diff | annotate |
| 2007-10-16 |
wenzelm |
2007-10-16 |
Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
|
file | diff | annotate |
| 2007-10-01 |
wenzelm |
2007-10-01 |
Norbert Schirmer: record improvements;
|
file | diff | annotate |
| 2007-10-01 |
wenzelm |
2007-10-01 |
misc tuning and update;
|
file | diff | annotate |
| 2007-08-20 |
kleing |
2007-08-20 |
* HOL-Word:
New extensive library and type for generic, fixed size machine
words, with arithemtic, bit-wise, shifting and rotating operations,
reflection into int, nat, and bool lists, automation for linear
arithmetic (by automatic reflection into nat or int), including
lemmas on overflow and monotonicity. Instantiated to all appropriate
arithmetic type classes, supporting automatic simplification of
numerals on all operations. Jointly developed by NICTA, Galois, and
PSU.
* still to do: README.html/document + moving some of the generic lemmas
to appropriate place in distribution
|
file | diff | annotate |
| 2007-08-20 |
kleing |
2007-08-20 |
boolean algebras as locales and numbers as types by Brian Huffman
|
file | diff | annotate |
| 2007-06-21 |
paulson |
2007-06-21 |
integration of Metis prover
|
file | diff | annotate |
| 2007-06-14 |
kleing |
2007-06-14 |
clarified who we consider to be a contributor
|
file | diff | annotate |
| 2007-06-05 |
wenzelm |
2007-06-05 |
Semiring normalization and Groebner Bases.
|
file | diff | annotate |
| 2007-03-16 |
haftmann |
2007-03-16 |
updated
|
file | diff | annotate |
| 2006-11-08 |
wenzelm |
2006-11-08 |
* November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".
|
file | diff | annotate |
| 2006-11-04 |
wenzelm |
2006-11-04 |
* October 2006: Stefan Hohe, TUM;
|
file | diff | annotate |
| 2006-08-05 |
wenzelm |
2006-08-05 |
Amine Chaieb: experimental generic reflection and reification in HOL;
|
file | diff | annotate |
| 2006-07-11 |
kleing |
2006-07-11 |
hex and binary numerals (contributed by Rafal Kolanski)
|
file | diff | annotate |
| 2006-06-15 |
nipkow |
2006-06-15 |
*** empty log message ***
|
file | diff | annotate |
| 2006-05-16 |
wenzelm |
2006-05-16 |
Amine Chaieb: Ferrante and Rackoff Algorithm;
|
file | diff | annotate |
| 2006-04-26 |
kleing |
2006-04-26 |
added Ben Porter's stuff
|
file | diff | annotate |
| 2005-10-15 |
wenzelm |
2005-10-15 |
more;
|
file | diff | annotate |
| 2005-09-25 |
wenzelm |
2005-09-25 |
more;
|
file | diff | annotate |
| 2005-09-21 |
wenzelm |
2005-09-21 |
tuned;
|
file | diff | annotate |
| 2005-09-21 |
wenzelm |
2005-09-21 |
tuned;
|
file | diff | annotate |
| 2005-09-21 |
wenzelm |
2005-09-21 |
tuned;
|
file | diff | annotate |
| 2005-09-20 |
wenzelm |
2005-09-20 |
HOL/ex/Chinese.thy;
|
file | diff | annotate |
| 2005-09-20 |
wenzelm |
2005-09-20 |
more contributions;
|
file | diff | annotate |
| 2005-09-14 |
wenzelm |
2005-09-14 |
Bernhard Haeupler: comm_ring;
|
file | diff | annotate |
| 2005-07-19 |
wenzelm |
2005-07-19 |
more contribs;
|
file | diff | annotate |
| 2005-07-18 |
haftmann |
2005-07-18 |
reverted from fold_yield to fold_map
|
file | diff | annotate |
| 2005-07-15 |
wenzelm |
2005-07-15 |
*** empty log message ***
|
file | diff | annotate |
| 2005-06-05 |
wenzelm |
2005-06-05 |
Lucas Dixon;
|
file | diff | annotate |
| 2005-05-17 |
wenzelm |
2005-05-17 |
proper Id line;
|
file | diff | annotate |
| 2005-05-17 |
wenzelm |
2005-05-17 |
updated;
|
file | diff | annotate |
| 2005-05-17 |
wenzelm |
2005-05-17 |
added;
|
file | diff | annotate |