1
(* Title: Option.ML
2
ID: $Id$
3
Author: Tobias Nipkow
4
Copyright 1996 TU Muenchen
5
6
Derived rules
7
*)