| Sun, 21 Jan 2007 16:43:44 +0100 | wenzelm | moved File.use to ML_Context.use; | changeset | files |
| Sun, 21 Jan 2007 16:43:42 +0100 | wenzelm | use_text: added name argument; | changeset | files |
| Sun, 21 Jan 2007 13:27:41 +0100 | nipkow | Added simproc list_neq (prompted by an application) | changeset | files |