/src/HOL/Complex/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2004-01-13 10:37 +0100 44613 CLim.ML
-rw-r--r-- 2004-01-13 10:37 +0100 3007 CLim.thy
-rw-r--r-- 2004-01-13 10:37 +0100 6325 CSeries.ML
-rw-r--r-- 2004-01-13 10:37 +0100 709 CSeries.thy
-rw-r--r-- 2004-01-13 10:37 +0100 22448 CStar.ML
-rw-r--r-- 2004-01-13 10:37 +0100 2332 CStar.thy
-rw-r--r-- 2004-01-13 10:37 +0100 57481 Complex.thy
-rw-r--r-- 2004-01-13 10:37 +0100 5188 ComplexArith0.ML
-rw-r--r-- 2004-01-13 10:37 +0100 28 ComplexArith0.thy
-rw-r--r-- 2004-01-13 10:37 +0100 21674 ComplexBin.ML
-rw-r--r-- 2004-01-13 10:37 +0100 521 ComplexBin.thy
-rw-r--r-- 2004-01-13 10:37 +0100 266 Complex_Main.thy
-rw-r--r-- 2004-01-13 10:37 +0100 56936 NSCA.ML
-rw-r--r-- 2004-01-13 10:37 +0100 1093 NSCA.thy
-rw-r--r-- 2004-01-13 10:37 +0100 65318 NSComplex.thy
-rw-r--r-- 2004-01-13 10:37 +0100 449 NSComplexArith.thy
-rw-r--r-- 2004-01-13 10:37 +0100 23246 NSComplexBin.ML
-rw-r--r-- 2004-01-13 10:37 +0100 470 NSComplexBin.thy
-rw-r--r-- 2004-01-13 10:37 +0100 4527 NSInduct.ML
-rw-r--r-- 2004-01-13 10:37 +0100 681 NSInduct.thy
-rw-r--r-- 2004-01-13 10:37 +0100 473 README.html
-rw-r--r-- 2004-01-13 10:37 +0100 231 ROOT.ML
-rw-r--r-- 2004-01-13 10:37 +0100 4475 hcomplex_arith.ML