KeYmaera Project - A HYBRID THEOREM PROVER FOR HYBRID SYSTEMS
Copyright (C) 2007-2014 University of Oldenburg, Germany
                        and Carnegie Mellon University, USA

The KeYmaera system is protected by the GNU General
Public License.

KeYmaera is based on the KeY project - Integrated Deductive Software Design 
Copyright (C) 2001-2009 Universitaet Karlsruhe, Germany
                        Universitaet Koblenz-Landau, Germany
                        and Chalmers University of Technology, Sweden          

The KeY system is protected by the GNU General 
Public License. See LICENSE.TXT for details.

system 		contains sources of all software.

examples 	contains some programming examples 
		to illustrate use of various packages.

LICENSE.TXT     information on how KeY is protected

README.install  installation information