Thu, 31 May 2001 16:52:54 +0200 | oheimb | added Library/Nat_Infinity.thy and Library/Continuity.thy | file | diff | annotate |
Sun, 04 Feb 2001 19:43:32 +0100 | wenzelm | tuned | file | diff | annotate |
Fri, 26 Jan 2001 15:50:52 +0100 | nipkow | Merged Example into While_Combi | file | diff | annotate |
Wed, 18 Oct 2000 23:31:16 +0200 | wenzelm | "The Supplemental Isabelle/HOL Library"; | file | diff | annotate |