| Mon, 10 Nov 1997 14:57:31 +0100 | oheimb | replaced 8bit characters | file | diff | annotate |
| Tue, 04 Nov 1997 20:48:38 +0100 | oheimb | added the, option_map, and case analysis theorems | file | diff | annotate |
| Tue, 24 Sep 1996 09:02:34 +0200 | nipkow | Moved Option out of IOA into core HOL | file | diff | annotate |