isabelle: src/HOL/Complex/README.html@5ba84fdb680b (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
5ba84fdb680b some information for Complex paulson parents: diff changeset	8	<KBD>Complex</KBD> includes theories from the directories
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, 12 May 2003 12:27:10 +0200
changeset 14005	5ba84fdb680b
child 14020	5fc9474833e5
permissions	-rw-r--r--