Tue, 01 Jul 2008 07:58:17 +0200 | haftmann | HOL += HOL-Complex | file | diff | annotate |
Wed, 31 Aug 2005 15:46:33 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 05 May 2003 18:22:31 +0200 | paulson | new session Complex for the complex numbers | file | diff | annotate |