src/HOL/Matrix/FloatSparseMatrixBuilder.ML
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Fri, 10 Sep 2004 14:54:54 +0200 obua IntInf.divMod replaced by IntInf.div, IntInt.mod
Fri, 03 Sep 2004 17:46:47 +0200 obua Matrix theory
less more (0) tip