src/HOL/Library/Nat_Infinity.thy
Thu, 31 May 2001 20:52:51 +0200 wenzelm tuned
Thu, 31 May 2001 17:06:00 +0200 oheimb added Library/Nat_Infinity.thy and Library/Continuity.thy
less more (0) tip