CONTRIBUTORS
changeset 51487 f4bfdee99304
parent 51173 3cbb4e95a565
child 51489 f738e6dbd844
equal deleted inserted replaced
51486:0a0c9a45d294 51487:f4bfdee99304
     3 who is listed as an author in one of the source files of this Isabelle
     3 who is listed as an author in one of the source files of this Isabelle
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to this Isabelle version
     6 Contributions to this Isabelle version
     7 --------------------------------------
     7 --------------------------------------
       
     8 
       
     9 * March 2013: Florian Haftmann, TUM
       
    10   Algebraic locale hierarchy for orderings and (semi)lattices.
     8 
    11 
     9 * Feb. 2013: Florian Haftmann, TUM
    12 * Feb. 2013: Florian Haftmann, TUM
    10   Reworking and consolidation of code generation for target
    13   Reworking and consolidation of code generation for target
    11   language numerals.
    14   language numerals.
    12 
    15