isabelle: src/HOL/Complex/README.html@c78c7da09519 (annotated)

14005 5ba84fdb680b some information for Complex paulson parents: diff changeset	1	<HTML><HEAD><TITLE>HOL/Complex/README</TITLE></HEAD><BODY>
5ba84fdb680b some information for Complex paulson parents: diff changeset	2
5ba84fdb680b some information for Complex paulson parents: diff changeset	3	<H1>Complex--The Complex Numbers</H1>
5ba84fdb680b some information for Complex paulson parents: diff changeset	4
5ba84fdb680b some information for Complex paulson parents: diff changeset	5	<P>This directory defines the type <KBD>complex</KBD> of the complex numbers,
5ba84fdb680b some information for Complex paulson parents: diff changeset	6	with numeric constants and some complex analysis. The development includes
5ba84fdb680b some information for Complex paulson parents: diff changeset	7	nonstandard analysis for the complex numbers. Note that the image
14020 5fc9474833e5 oops paulson parents: 14005 diff changeset	8	<KBD>HOL-Complex</KBD> includes theories from the directories
14005 5ba84fdb680b some information for Complex paulson parents: diff changeset	9	<KBD>HOL/Real</KBD> and <KBD>HOL/Hyperreal</KBD>.
5ba84fdb680b some information for Complex paulson parents: diff changeset	10
5ba84fdb680b some information for Complex paulson parents: diff changeset	11	<HR>
5ba84fdb680b some information for Complex paulson parents: diff changeset	12	<P>Last modified $Date$
5ba84fdb680b some information for Complex paulson parents: diff changeset	13
5ba84fdb680b some information for Complex paulson parents: diff changeset	14	</HTML>

author	paulson
	Mon, 02 Feb 2004 12:23:46 +0100
changeset 14371	c78c7da09519
parent 14020	5fc9474833e5
child 14631	ec1e67f88f49
permissions	-rw-r--r--