| Thu, 27 Oct 2005 13:54:42 +0200 | wenzelm | removed inappropriate monomorphic test; | changeset | files |
| Thu, 27 Oct 2005 13:54:40 +0200 | wenzelm | replaced Defs.monomorphic by Sign.monomorphic; | changeset | files |
| Thu, 27 Oct 2005 13:54:38 +0200 | wenzelm | alternative iff syntax for equality on booleans, with print_mode 'iff'; | changeset | files |