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