src/HOL/Hyperreal/Log.thy
Thu, 04 Mar 2004 12:06:07 +0100 paulson new material from Avigad, and simplified treatment of division by 0
Tue, 24 Feb 2004 16:38:51 +0100 paulson converted Hyperreal/Log and Hyperreal/HLog to Isar scripts
Fri, 16 Nov 2001 18:24:11 +0100 paulson even more theories from Jacques
less more (0) tip