| Tue, 21 Mar 2006 12:18:22 +0100 | wenzelm | mark_boundT: produce well-typed term; | changeset | files |
| Tue, 21 Mar 2006 12:18:21 +0100 | wenzelm | subtract (op =); | changeset | files |
| Tue, 21 Mar 2006 12:18:20 +0100 | wenzelm | avoid polymorphic equality; | changeset | files |
| Tue, 21 Mar 2006 12:18:19 +0100 | wenzelm | avoid polymorphic equality; | changeset | files |
| Tue, 21 Mar 2006 12:18:18 +0100 | wenzelm | moved gen_eq_set to library.ML; | changeset | files |
| Tue, 21 Mar 2006 12:18:17 +0100 | wenzelm | added ~$$ (negative literal); | changeset | files |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | changeset | files |