Tue, 16 Aug 2022 10:39:44 +0100 paulson Cleanup of NonstandardAnalysis default tip
Mon, 15 Aug 2022 21:57:55 +0100 paulson A bit of cleaning up
Mon, 15 Aug 2022 12:50:24 +0100 paulson The same, without adding a new simprule
Sun, 14 Aug 2022 23:51:47 +0100 paulson moved some material from Sum_of_Powers
Sun, 14 Aug 2022 18:38:40 +0200 wenzelm merged
Sun, 14 Aug 2022 18:35:59 +0200 wenzelm clarified signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 tip