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 |