src/HOL/Multivariate_Analysis/normarith.ML
Thu, 02 Sep 2010 11:42:40 +0200 haftmann Table.map replaces Table.map'
Thu, 08 Jul 2010 16:19:24 +0200 haftmann tuned titles
Sat, 15 May 2010 21:50:05 +0200 wenzelm less pervasive names from structure Thm;
Sat, 15 May 2010 18:15:50 +0200 wenzelm removed unused conversions;
Sat, 15 May 2010 18:12:58 +0200 wenzelm tuned header;
Sat, 15 May 2010 18:11:00 +0200 wenzelm moved normarith.ML where it is actually used;
less more (0) tip