| Wed, 28 Apr 2010 16:11:13 +0200 | wenzelm | tuned user-level type abbrevs: explicit warning concerning ignored sort constraints -- sorts never affect formation of types and type abbrevs strip sorts internally; | changeset | files |
| Wed, 28 Apr 2010 13:32:00 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Wed, 28 Apr 2010 12:23:14 +0200 | wenzelm | updated keywords; | changeset | files |
| Wed, 28 Apr 2010 12:21:55 +0200 | wenzelm | command 'defaultsort' is renamed to 'default_sort', it works within a local theory context; | changeset | files |