2010-04-28 | haftmann | empty class specifcations observe default sort | changeset | files |
2010-04-28 | wenzelm | document some known problems with Mac OS; | changeset | files |
2010-04-28 | wenzelm | removed redundant/ignored sort constraint; | changeset | files |
2010-04-28 | 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 |
2010-04-28 | wenzelm | made SML/NJ happy; | changeset | files |
2010-04-28 | wenzelm | updated keywords; | changeset | files |
2010-04-28 | wenzelm | command 'defaultsort' is renamed to 'default_sort', it works within a local theory context; | changeset | files |
2010-04-28 | wenzelm | removed material that is out of scope of this manual; | changeset | files |
Loading... |