src/HOL/Complex/README.html
Tue, 04 Oct 2005 10:58:46 +0200 haftmann removed removed IntFloor
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Thu, 22 Apr 2004 10:45:56 +0200 paulson moved Complex/NSInduct and Hyperreal/IntFloor to more appropriate
Wed, 21 Apr 2004 13:18:37 +0200 paulson fixed to include Real and Hyperreal
Mon, 19 Apr 2004 13:49:35 +0200 paulson badly-needed updates
Mon, 12 May 2003 18:11:44 +0200 paulson oops
Mon, 12 May 2003 12:27:10 +0200 paulson some information for Complex
less more (0) tip