The following email from Scott Lamons, dated May 3, 2011, releases
the theorem prover "Simplify" under the GPLv2+ license.
Simplify was originally developed by Digital Equipment Corporation (DEC),
which was bought by Compaq, which was later bought by
Hewlett-Packard (HP), so HP has the authority to do this.

I've modified the first line's email address to counter spammers,
but otherwise, this is the email I received.

--- David A. Wheeler

======================================================

From: Lamons, Scott (Open Source Program Office) [mail,to scott.lamons AT hp.com] 
Sent: Tuesday, May 03, 2011 5:53 PM
To: Wheeler, David A
Cc: Peterson, Scott K (HP Legal); Sontag, John; Michlmayr, Martin; Robb, Philip J (Open Source Program Office)
Subject: Release of Simplify approved

David,

I'm pleased to report that Open Source Review Board (OSRB) proposal 12007 (Proposal to open source Simplify) has been approved under the GPLv2+ license.   This email shall serve as your authorization to make the necessary licensing changes to the source code (see details below) on HP's behalf and to host the code on a public open source repository of your choice.    Please let me know where you end up hosting this so I can update our records and feel free to contact us if you have any questions or run into any issues in updating the licensing.

Best Regards,
Scott Lamons
HP Open Source Review Board

P.S.  From examining the source files I notice that most of the files have the following information in the header…  

(* Copyright (C) 2002 Hewlett-Packard Company *)
(* Copyright (C) 2000, 2002 Compaq Computer Corporation *)
(* Copyright (C) 1992, Digital Equipment Corporation *)
(* All rights reserved. *)
(* See the file COPYRIGHT for a full description. *)
These lines should be removed and replaced with the following…

    Copyright (C) 2002 Hewlett-Packard Development Company, L.P.
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

   This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License along
    with this program; if not, write to the Free Software Foundation, Inc.,
    51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

I would also ask that you place a COPYING file in the root directory with a copy of the GPLv2 license.