src/HOL/Hyperreal/MacLaurin.thy
Tue, 11 May 2004 20:11:08 +0200 obua changes made due to new Ring_and_Field theory
Fri, 16 Nov 2001 18:24:11 +0100 paulson even more theories from Jacques
less more (0) tip