| Fri, 18 Apr 1997 11:57:51 +0200 | wenzelm | removed least_sort; | changeset | files |
| Fri, 18 Apr 1997 11:55:14 +0200 | wenzelm | tuned err msg; | changeset | files |
| Fri, 18 Apr 1997 11:54:54 +0200 | paulson | Renamed sign constructors to eliminate clash with the Plus infix of Sum.thy | changeset | files |