CONTRIBUTORS
changeset 51487 f4bfdee99304
parent 51173 3cbb4e95a565
child 51489 f738e6dbd844
     1.1 --- a/CONTRIBUTORS	Sat Mar 23 07:30:53 2013 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Mar 23 17:11:06 2013 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2013: Florian Haftmann, TUM
     1.8 +  Algebraic locale hierarchy for orderings and (semi)lattices.
     1.9 +
    1.10  * Feb. 2013: Florian Haftmann, TUM
    1.11    Reworking and consolidation of code generation for target
    1.12    language numerals.