CONTRIBUTORS
author wenzelm
Wed, 14 Sep 2005 22:04:33 +0200
changeset 17382 32a165db45ea
parent 16892 23887fee6071
child 17532 ab75f2b0cec6
permissions -rw-r--r--
Bernhard Haeupler: comm_ring;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17382
32a165db45ea Bernhard Haeupler: comm_ring;
wenzelm
parents: 16892
diff changeset
     1
32a165db45ea Bernhard Haeupler: comm_ring;
wenzelm
parents: 16892
diff changeset
     2
* September 2005: Bernhard Haeupler
32a165db45ea Bernhard Haeupler: comm_ring;
wenzelm
parents: 16892
diff changeset
     3
  Method comm_ring for proving equalities in commutative rings.
16892
23887fee6071 more contribs;
wenzelm
parents: 16869
diff changeset
     4
23887fee6071 more contribs;
wenzelm
parents: 16869
diff changeset
     5
* July 2005: Jeremy Avigad, Carnegie Mellon University
23887fee6071 more contribs;
wenzelm
parents: 16869
diff changeset
     6
  Various improvements of the HOL and HOL-Complex library.
16868
eaafda56b14c *** empty log message ***
wenzelm
parents: 16252
diff changeset
     7
eaafda56b14c *** empty log message ***
wenzelm
parents: 16252
diff changeset
     8
* July 2005: Florian Haftmann, TUM
eaafda56b14c *** empty log message ***
wenzelm
parents: 16252
diff changeset
     9
  Some combinators for linear functional transformations in ML:
16869
bc98da5727be reverted from fold_yield to fold_map
haftmann
parents: 16868
diff changeset
    10
  |->  #->  fold_map  etc.
15968
wenzelm
parents:
diff changeset
    11
16892
23887fee6071 more contribs;
wenzelm
parents: 16869
diff changeset
    12
* July 2005: Florian Zuleger, Johannes Hoelzl, and Simon Funke, TUM
23887fee6071 more contribs;
wenzelm
parents: 16869
diff changeset
    13
  Some structured proofs about completeness of real numbers.
23887fee6071 more contribs;
wenzelm
parents: 16869
diff changeset
    14
15968
wenzelm
parents:
diff changeset
    15
* May 2005: Rafal Kolanski, NICTA
wenzelm
parents:
diff changeset
    16
  Substantially improved retrieval of facts from theory/proof context.
15993
99320adfbf3a updated;
wenzelm
parents: 15968
diff changeset
    17
99320adfbf3a updated;
wenzelm
parents: 15968
diff changeset
    18
* May 2005: Florian Haftmann, TUM
99320adfbf3a updated;
wenzelm
parents: 15968
diff changeset
    19
  Several new antiquotation.
15994
dd9023d84f44 proper Id line;
wenzelm
parents: 15993
diff changeset
    20
16252
8cddc62ed170 Lucas Dixon;
wenzelm
parents: 15994
diff changeset
    21
* February 2005: Lucas Dixon, University of Edinburgh
8cddc62ed170 Lucas Dixon;
wenzelm
parents: 15994
diff changeset
    22
  Substantially improved subst method.
8cddc62ed170 Lucas Dixon;
wenzelm
parents: 15994
diff changeset
    23
15994
dd9023d84f44 proper Id line;
wenzelm
parents: 15993
diff changeset
    24
$Id$