Wed, 13 Jul 2005 09:53:50 +0200 | obua | - added cplex package to HOL/Matrix | file | diff | annotate |
Thu, 01 Jan 2004 10:06:32 +0100 | paulson | tweaking of lemmas in RealDef, RealOrd | file | diff | annotate |
Fri, 21 Nov 2003 11:15:40 +0100 | paulson | HOL: installation of Ring_and_Field as the basis for Naturals and Reals | file | diff | annotate |
Thu, 08 May 2003 17:44:38 +0200 | paulson | new theory Complex_Main as basis for analysis developments | file | diff | annotate |
Tue, 06 May 2003 17:45:54 +0200 | paulson | removal of the image HOL-Real and merging of HOL-Real-ex with HOL-Complex-ex | file | diff | annotate |
Mon, 05 May 2003 18:22:31 +0200 | paulson | new session Complex for the complex numbers | file | diff | annotate |