src/HOL/Option.thy
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Tue, 24 Mar 1998 15:51:37 +0100 oheimb added o2s
Mon, 10 Nov 1997 14:57:31 +0100 oheimb replaced 8bit characters
Tue, 04 Nov 1997 20:48:38 +0100 oheimb added the, option_map, and case analysis theorems
Tue, 24 Sep 1996 09:02:34 +0200 nipkow Moved Option out of IOA into core HOL
less more (0) tip