equal
deleted
inserted
replaced
1 (* Title: ZF/ex/Enum |
1 (* Title: ZF/ex/Enum |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1993 University of Cambridge |
4 Copyright 1993 University of Cambridge |
5 |
5 |
6 Example of a BIG enumeration type |
6 Example of a BIG enumeration type |
7 |
7 |
8 Can go up to at least 100 constructors, but it takes nearly 7 minutes... |
8 Can go up to at least 100 constructors, but it takes nearly 7 minutes... |