| Fri, 27 Jan 2006 19:03:09 +0100 | wenzelm | Locale.init; | changeset | files |
| Fri, 27 Jan 2006 19:03:08 +0100 | wenzelm | renamed gen_list to enum; | changeset | files |
| Fri, 27 Jan 2006 19:03:07 +0100 | wenzelm | moved theorem tags from Drule to PureThy; | changeset | files |