3 Author: Tobias Nipkow
4 Copyright 1996 TU Muenchen
5
6 Derived rules
7 *)
8
9 val expand_option_case = split_option_case;