| Sat, 04 Nov 2006 19:25:43 +0100 | wenzelm | String.compare: slow version -- performance test; | changeset | files |
| Sat, 04 Nov 2006 19:25:41 +0100 | wenzelm | replaced apply_copy by apply'; | changeset | files |
| Sat, 04 Nov 2006 19:25:41 +0100 | wenzelm | removed is_Trueprop (use can dest_Trueprop'' instead); | changeset | files |