| Mon, 22 Nov 2010 11:34:58 +0100 | bulwahn | adding code equations for EX1 on finite types | file | diff | annotate |
| Mon, 22 Nov 2010 11:34:57 +0100 | bulwahn | adding code equation for function equality; adding some instantiations for the finite types | file | diff | annotate |
| Mon, 22 Nov 2010 11:34:56 +0100 | bulwahn | adding Enum to HOL-Main image and removing it from HOL-Library | file | diff | annotate |
| Mon, 22 Nov 2010 11:34:55 +0100 | bulwahn | moving Enum theory from HOL/Library to HOL | file | diff | annotate | base |