(* Title: ZF/ex/Enum ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1993 University of CambridgeExample of a BIG enumeration typeCan go up to at least 100 constructors, but it takes nearly 7 minutes...*)Goal "C00 ~= C01";by (Simp_tac 1);result();