Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Complex/README.html
author paulson
Mon, 12 May 2003 12:27:10 +0200
changeset 14005 5ba84fdb680b
child 14020 5fc9474833e5
permissions -rw-r--r--
some information for Complex

<HTML><HEAD><TITLE>HOL/Complex/README</TITLE></HEAD><BODY>

<H1>Complex--The Complex Numbers</H1>

<P>This directory defines the type <KBD>complex</KBD> of the complex numbers,
with numeric constants and some complex analysis.  The development includes
nonstandard analysis for the complex numbers.  Note that the image
<KBD>Complex</KBD> includes theories from the directories 
<KBD>HOL/Real</KBD>  and <KBD>HOL/Hyperreal</KBD>.

<HR>
<P>Last modified $Date$

</HTML>
isabelle